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: