Installation

Requirements

PyECDAR is written in python and requires Python version 2 to run. It includes PyPPL, some bindings for the PPL library.

Additionally, the following tools and library needs to be installed in order to use all the functionalities of PyECDAR:

• UPPAAL DBM Library: download at http://people.cs.aau.dk/~adavid/UDBM/index.html.
  Install the library and install the python bindings. This latter requires SWIG.
• Parma Polyhedra Library: binary packages may be available for your system; otherwise download at http://bugseng.com/products/ppl.
• SWIG is needed to compile PyPPL and UPPAAL DBM Library.
• Pyparsing is a parsing module for Python.

Installation

• Extract the package at a desired location
• Compile PyPPL by running make into the pyppl/ directory
• Install PyPPL to your system. Into the directory pyppl/ run:
  • sudo python ./setup.py install (if you want to install globally) or
  • python ./setup install –user (if you want to install locally)
• Optionally, you can also install PyECDAR to your local system by running setup.py in pyecdar/ directory.