Python bindings for the Parma Polyhedra Library (PPL)
