
This is the release 0.2 of the Parma Polyhedra Library:
a C++ library for convex polyhedra.

To be more precise, the Parma Polyhedra Library (PPL) can handle all
the convex polyhedra that can be defined as the intersection of a
finite number of closed hyperspaces, each described by an equality or
a non-strict inequality with rational coefficients.

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.

See http://www.cs.unipr.it/ppl/ for more information on the PPL.
See the file COPYING for licensing information.
See the file INSTALL for build and installation instructions.
See the file NEWS for recent project news.
See the file BUGS for known bugs and how to report new ones.
See the file CREDITS for a list of people and organizations that
made the PPL a reality.

Here is the contents of the PPL 0.2 source distributions
(8 directories, 162 files):

ppl-0.2/
|-- BUGS
|-- COPYING
|-- CREDITS
|-- ChangeLog
|-- INSTALL
|-- Makefile.am
|-- Makefile.in
|-- NEWS
|-- README
|-- TODO
|-- acinclude.m4
|-- aclocal.m4
|-- config.guess
|-- config.h.in
|-- config.sub
|-- configure
|-- configure.ac
|-- depcomp
|-- doc
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- definitions.dox
|   |-- devref-browse.doxyconf-latex
|   |-- devref-browse.doxyconf-latex.in
|   |-- devref-print.doxyconf-latex
|   |-- devref-print.doxyconf-latex.in
|   |-- devref.doxyconf-html
|   |-- devref.doxyconf-html.in
|   |-- devref.tex
|   |-- fdl.dox
|   |-- fdl.tex
|   |-- gpl.dox
|   |-- gpl.tex
|   |-- ppl-user-0.2-browse.pdf
|   |-- ppl-user-0.2-print.pdf
|   |-- ppl-user-0.2-print.ps.gz
|   |-- ppl.sty
|   |-- user-browse.doxyconf-latex
|   |-- user-browse.doxyconf-latex.in
|   |-- user-print.doxyconf-latex
|   |-- user-print.doxyconf-latex.in
|   |-- user.doxyconf-html
|   |-- user.doxyconf-html.in
|   `-- user.tex
|-- install-sh
|-- interfaces
|   |-- Makefile.am
|   |-- Makefile.in
|   `-- Prolog
|       |-- Makefile.am
|       |-- Makefile.in
|       |-- Prolog_interface.dox
|       `-- SICStus
|           |-- Makefile.am
|           |-- Makefile.in
|           |-- ack.clpq
|           |-- ackn.clpq
|           |-- check_script
|           |-- clpq.pl
|           |-- expected
|           |-- fib.clpq
|           |-- mc91.clpq
|           |-- ppl_sicstus.cc
|           |-- ppl_sicstus.pl
|           |-- smm.clpq
|           |-- sumto.clpq
|           `-- tak.clpq
|-- m4
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- ac_check_gmp_exceptions.m4
|   `-- ac_check_have_gmp.m4
|-- missing
|-- mkinstalldirs
|-- ppl.lsm.in
|-- ppl.spec.in
|-- src
|   |-- ConSys.cc
|   |-- ConSys.defs.hh
|   |-- ConSys.inlines.hh
|   |-- ConSys.types.hh
|   |-- Constraint.cc
|   |-- Constraint.defs.hh
|   |-- Constraint.inlines.hh
|   |-- Constraint.types.hh
|   |-- GenSys.cc
|   |-- GenSys.defs.hh
|   |-- GenSys.inlines.hh
|   |-- GenSys.types.hh
|   |-- Generator.cc
|   |-- Generator.defs.hh
|   |-- Generator.inlines.hh
|   |-- Generator.types.hh
|   |-- Integer
|   |   |-- Integer.cc
|   |   |-- Integer.defs.hh
|   |   |-- Integer.inlines.hh
|   |   |-- Integer.types.hh
|   |   |-- Makefile.am
|   |   `-- Makefile.in
|   |-- LinExpression.cc
|   |-- LinExpression.defs.hh
|   |-- LinExpression.inlines.hh
|   |-- LinExpression.types.hh
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- Matrix.cc
|   |-- Matrix.defs.hh
|   |-- Matrix.inlines.hh
|   |-- Matrix.types.hh
|   |-- Polyhedron.cc
|   |-- Polyhedron.defs.hh
|   |-- Polyhedron.inlines.hh
|   |-- Polyhedron.types.hh
|   |-- Row.cc
|   |-- Row.defs.hh
|   |-- Row.inlines.hh
|   |-- Row.types.hh
|   |-- SatMatrix.cc
|   |-- SatMatrix.defs.hh
|   |-- SatMatrix.inlines.hh
|   |-- SatMatrix.types.hh
|   |-- SatRow.cc
|   |-- SatRow.defs.hh
|   |-- SatRow.inlines.hh
|   |-- SatRow.types.hh
|   |-- Status.cc
|   |-- Status.defs.hh
|   |-- Status.inlines.hh
|   |-- Status.types.hh
|   |-- Variable.cc
|   |-- Variable.defs.hh
|   |-- Variable.inlines.hh
|   |-- Variable.types.hh
|   |-- conversion.cc
|   |-- globals.hh
|   |-- maxmin.hh
|   |-- minimize.cc
|   |-- ppl_header.bottom
|   |-- ppl_header.middle
|   |-- ppl_header.top
|   `-- simplify.cc
|-- stamp-h.in
`-- tests
    |-- Makefile.am
    |-- Makefile.in
    |-- addconstraints1.cc
    |-- addconstraints2.cc
    |-- affinetrans.cc
    |-- append1.cc
    |-- append2.cc
    |-- bug1.cc
    |-- bug2.cc
    |-- ehandlers.hh
    |-- empty1.cc
    |-- error1.cc
    |-- error2.cc
    |-- error3.cc
    |-- error4.cc
    |-- error5.cc
    |-- inters1.cc
    |-- inters2.cc
    |-- onepoint.cc
    |-- permute.cc
    |-- print.hh
    |-- randchull1.cc
    |-- removedim1.cc
    |-- removedim2.cc
    |-- removedim3.cc
    `-- smm1.cc

--------

Copyright (C) 2001 Roberto Bagnara

The Parma Polyhedra Library is free software; you can redistribute it
and/or modify it under the terms of the GNU General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
USA
