Registered
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://
View full history Series and milestones
trunk series is the current focus of development.