[PPL-devel] Announcing the Parma Polyhedra Library (version 0.1)

[Roberto Bagnara]

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 at cs.unipr.it>
    Patricia M. Hill <hill at comp.leeds.ac.uk>
    Elisa Ricci      <ericci at cs.unipr.it>
    Enea Zaffanella  <zaffanella at cs.unipr.it>

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it