Python bindings for the Parma Polyhedra Library (PPL)
https://github.com/sagemath/pplpy/