We are glad to announce the first release of
The Parma Polyhedra Library (version 0.1)
The Parma Polyhedra Library is a C++ library for the manipulation of convex polyhedra. The applications of convex polyhedra include program analysis, integer and combinatorial optimization and statistical data-editing.
The Parma Polyhedra Library is:
+ user friendly: you write `x + 2*y + 5*z <= 7' when you mean it; + fully dynamic: available virtual memory is the only limitation to the dimension of anything; + written in standard C++: meant to be portable; + exception-safe: never leaks resources or leaves invalid object fragments around; + rather efficient: and we hope to make it even more so; + thoroughly documented: perhaps not ``literate programming'' but close enough; + free software: distributed under the terms of the GNU General Public License.
For more information, visit the Parma Polyhedra Library (PPL) web site at http://www.cs.unipr.it/ppl/
The PPL development team:
Roberto Bagnara bagnara@cs.unipr.it Patricia M. Hill hill@comp.leeds.ac.uk Elisa Ricci ericci@cs.unipr.it Enea Zaffanella zaffanella@cs.unipr.it