The Parma Polyhedra Library