Announcing the Parma Polyhedra Library (version 0.2)

Roberto Bagnara <bagnara@cs.unipr.it>
17 Nov 2001 00:40:15 -0500

          From comp.compilers

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

From: Roberto Bagnara <bagnara@cs.unipr.it>
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)


                                        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, 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 <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


Post a followup to this message

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