Parma Polyhedra Library, v 1.1