The Parma Polyhedra Library.
