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(a)cs.unipr.it>
Patricia M. Hill <hill(a)comp.leeds.ac.uk>
Elisa Ricci <ericci(a)cs.unipr.it>
Enea Zaffanella <zaffanella(a)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
This is just to see if the moderator can post without approval,
and to force the creation of the archive page.
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
