The Parma Polyhedra Library.