ppl - Parma polyhedra library.

The Parma Polyhedra Library or PPL is a C++ library for
convex polyhedra and other numerical abstractions.