Announcing the Parma Polyhedra Library (version 0.2)

Roberto Bagnara <>
17 Nov 2001 00:40:15 -0500

          From comp.compilers

Related articles
Announcing the Parma Polyhedra Library (version 0.2) (Roberto Bagnara) (2001-11-17)
| List of all articles for this month |

From: Roberto Bagnara <>
Newsgroups: comp.compilers
Date: 17 Nov 2001 00:40:15 -0500
Organization: Department of Mathematics, University of Parma, Italy
Keywords: available, tools
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

The PPL development team:

        Roberto Bagnara <>
        Patricia M. Hill <>
        Elisa Ricci <>
        Enea Zaffanella <>

Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.