|Announcing the Parma Polyhedra Library (version 0.2) email@example.com (Roberto Bagnara) (2001-11-17)|
|From:||Roberto Bagnara <firstname.lastname@example.org>|
|Date:||17 Nov 2001 00:40:15 -0500|
|Organization:||Department of Mathematics, University of Parma, Italy|
|Posted-Date:||17 Nov 2001 00:40:15 EST|
We are glad to announce the release of
The Parma Polyhedra Library (version 0.2)
The Parma Polyhedra Library is a C++ library for the manipulation
of convex polyhedra. The applications of convex polyhedra include
program analysis, optimized compilation, 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 <email@example.com>
Patricia M. Hill <firstname.lastname@example.org>
Elisa Ricci <email@example.com>
Enea Zaffanella <firstname.lastname@example.org>
Computer Science Group
Department of Mathematics, University of Parma, Italy
Return to the
Search the comp.compilers archives again.