The Parma Polyhedra Library
