Registered 2012-02-17 by Louis-Marie Traonouez

This project provides some python binding to the Parma Polyhedra Library. It implements parametric federations based on the powerset construction for convex polyhedra. It features some specific methods for Timed Automata analysis.

To install PyPPL you need to have C++ Parma Polyhedra Library installed on your system. It can be found here:
http://bugseng.com/products/ppl

Project information

Maintainer:
Louis-Marie Traonouez
Driver:
Not yet selected
Licence:
GNU GPL v2

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar
Programming languages:
Python

Get Involved

  • warning
    Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

PyPPL does not have any download files registered with Launchpad.