Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library.

Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill

Browse the full SAS paper archive.