The Parma Polyhedra Library.

Homepage:
https://www.bugseng.com/ppl/
