This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL):
a C++ library for the manipulation of numerical abstractions.

This package has seen its final preparation for Debian by Michael Tautschnig
<mt@debian.org> using the sources obtained from 
ftp://ftp.cs.unipr.it/pub/ppl/releases/0.9/ppl-0.9.tar.gz

Program Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
Modifications for Debian Copyright (C) 2008 Michael Tautschnig.

Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
for the complete list of authors.

The PPL 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.

The PPL 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.,
51 Franklin St, Fifth Floor, Boston, Free Software Foundation, MA 02110-1301,
USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://www.cs.unipr.it/ppl/ .

This is the Debian GNU/Linux prepackaged version of the Parma
Polyhedra Library (PPL): a C++ library for the manipulation of
numerical abstractions.

For the most up-to-date information see the Parma Polyhedra Library
site: http://www.cs.unipr.it/ppl/

On Debian systems, the complete text of the GNU General Public
License, version 2, can be found in /usr/share/common-licenses/GPL-2.

The documentation of the PPL is licensed under the GNU Free Documentation
License (v1.2), appended at the end of this file.

On Debian systems, the complete text of the GNU Free Documentation
License, version 1.2, can be found in /usr/share/common-licenses/GFDL-1.2.

To some files (listed below), a license as follows applies:

Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>

This file is free software; as a special exception the author gives
unlimited permission to copy and/or distribute it, with or without
modifications, as long as this notice is preserved.

This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.

This license applies to:

src/Linear_Expression.types.hh
src/Coefficient_traits_template.hh
src/Poly_Gen_Relation.types.hh
src/C_Polyhedron.types.hh
src/GMP_Integer.types.hh
src/Ptr_Iterator.types.hh
src/Variable.types.hh
src/Linear_System.types.hh
src/Constraint_System.types.hh
src/Linear_Row.types.hh
src/Grid_Certificate.types.hh
src/DB_Row.types.hh
src/LP_Problem.types.hh
src/BHRZ03_Certificate.types.hh
src/Polyhedron.types.hh
src/fpu.types.hh
src/Determinate.types.hh
src/Saturation_Matrix.types.hh
src/Coefficient.types.hh
src/Grid_Generator.types.hh
src/Congruence_System.types.hh
src/globals.types.hh
src/Grid_Generator_System.types.hh
src/Interval.types.hh
src/Scalar_Products.types.hh
src/Generator_System.types.hh
src/Powerset.types.hh
src/Congruence.types.hh
src/Checked_Number.types.hh
src/Constraint.types.hh
src/NNC_Polyhedron.types.hh
src/Saturation_Row.types.hh
src/Topology.hh
src/Init.types.hh
src/Widening_Function.types.hh
src/Matrix.types.hh
src/H79_Certificate.types.hh
src/Generator.types.hh
src/DB_Matrix.types.hh
src/BD_Shape.types.hh
src/Row.types.hh
src/Grid.types.hh
src/Poly_Con_Relation.types.hh
src/Bounding_Box.types.hh
src/Polyhedra_Powerset.types.hh
tests/Partial_Function.types.hh
tests/Random_Number_Generator.types.hh
Watchdog/src/Pending_Element.types.hh
Watchdog/src/EList_Iterator.types.hh
Watchdog/src/EList.types.hh
Watchdog/src/Handler.types.hh
Watchdog/src/Time.types.hh
Watchdog/src/Doubly_Linked_Object.types.hh
Watchdog/src/Watchdog.types.hh
Watchdog/src/Pending_List.types.hh


