We are glad to announce the first release of The Parma Polyhedra Library (version 0.1) http://www.cs.unipr.it/ppl/ 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> -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it