Copyright (C) 2001-2010 Roberto Bagnara <[email protected]>
Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
See below for the copying conditions.


Parma Polyhedra Library (Release 1.2)
=====================================

This is the release 1.2 of the Parma Polyhedra Library:
a C++ library for (not necessarily closed) convex polyhedra
and other numerical abstractions.

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 (open or closed) hyperspaces, each described
    by an equality or a (strict or non-strict) inequality with rational
    coefficients;

  + some special classes of polyhedra shapes that offer interesting
    complexity/precision tradeoffs: boxes, bounded difference shapes
    and octagonal shapes defined over a wide choice of integer,
    rational or floating point coefficients;

  + all grids (or, equivalently, lattices): a grid is defined by a set
    of congruence relations with rational coefficients and consists of
    the set of all points that satisfy these relations;

  + finite powersets and products of the above;

  + linear programming problems, solved with an implementation of the
    primal simplex algorithm using exact arithmetic;

  + parametric integer programming problems;

  + termination analysis problems, via the automatic synthesis of
    linear ranking functions.

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 the file COPYING for licensing information.
See the file INSTALL for generic build and installation instructions.
See the file README.configure for more specific configuration 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, projects and organizations
that made the PPL a reality.
See http://bugseng.com/products/ppl/ for more information on the PPL.
For any additional questions you might have, please do not hesitate to
write to [email protected].

Here is the contents of the PPL 1.2 source distribution
(41 directories, 1634 files):

ppl-1.2
|-- BUGS
|-- COPYING
|-- CREDITS
|-- ChangeLog
|-- ChangeLog_2001-2008
|-- INSTALL
|-- Makefile.am
|-- Makefile.in
|-- NEWS
|-- README
|-- README.alpha
|-- README.arm
|-- README.configure
|-- README.solaris
|-- STANDARDS
|-- TODO
|-- aclocal.m4
|-- compile
|-- config.guess
|-- config.h.in
|-- config.rpath
|-- config.sub
|-- configure
|-- configure.ac
|-- demos
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- ppl_lcdd
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- examples
|   |   |   |-- 1d.ine
|   |   |   |-- 1da.ine
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README
|   |   |   |-- allzero.ine
|   |   |   |-- ccc4.ext
|   |   |   |-- ccc5.ext
|   |   |   |-- ccc6.ext
|   |   |   |-- ccp4.ext
|   |   |   |-- ccp5.ext
|   |   |   |-- ccp6.ext
|   |   |   |-- cp4.ext
|   |   |   |-- cp4.ine
|   |   |   |-- cp5.ext
|   |   |   |-- cp5.ine
|   |   |   |-- cp6.ext
|   |   |   |-- cp6.ine
|   |   |   |-- cp7.ext
|   |   |   |-- cross10.ine
|   |   |   |-- cross12.ine
|   |   |   |-- cross4.ine
|   |   |   |-- cross6.ine
|   |   |   |-- cross8.ine
|   |   |   |-- cube.ext
|   |   |   |-- cube.ine
|   |   |   |-- cube10.ine
|   |   |   |-- cube12.ine
|   |   |   |-- cube3.ine
|   |   |   |-- cube6.ine
|   |   |   |-- cube8.ine
|   |   |   |-- cubetop.ine
|   |   |   |-- cubocta.ine
|   |   |   |-- cut16_11.ext
|   |   |   |-- cut32_16.ext
|   |   |   |-- cyc.ine
|   |   |   |-- cyclic10-4.ext
|   |   |   |-- cyclic12-6.ext
|   |   |   |-- cyclic14-8.ext
|   |   |   |-- cyclic16-10.ext
|   |   |   |-- cyclic17_8.ine
|   |   |   |-- cyclic25_13.ext
|   |   |   |-- dcube10.ext
|   |   |   |-- dcube12.ext
|   |   |   |-- dcube3.ext
|   |   |   |-- dcube6.ext
|   |   |   |-- dcube8.ext
|   |   |   |-- diamond.ine
|   |   |   |-- dodeca_m.ine
|   |   |   |-- ex1.ine
|   |   |   |-- grcubocta.ine
|   |   |   |-- hexocta.ine
|   |   |   |-- icododeca_m.ine
|   |   |   |-- in0.ine
|   |   |   |-- in1.ine
|   |   |   |-- in2.ine
|   |   |   |-- in3.ine
|   |   |   |-- in4.ine
|   |   |   |-- in5.ine
|   |   |   |-- in6.ine
|   |   |   |-- in7.ine
|   |   |   |-- infeas.ine
|   |   |   |-- integralpoints.ine
|   |   |   |-- irbox20-4.ext
|   |   |   |-- irbox200-4.ext
|   |   |   |-- kkd18_4.ine
|   |   |   |-- kkd27_5.ine
|   |   |   |-- kkd38_6.ine
|   |   |   |-- kq20_11_m.ine
|   |   |   |-- metric40_11.ine
|   |   |   |-- metric80_16.ine
|   |   |   |-- mit.ine
|   |   |   |-- mit288-281.ine
|   |   |   |-- mit31-20.ine
|   |   |   |-- mit41-16.ine
|   |   |   |-- mit708-9.ine
|   |   |   |-- mit71-61.ine
|   |   |   |-- mit90-86.ine
|   |   |   |-- mp5.ext
|   |   |   |-- mp5.ine
|   |   |   |-- mp5a.ine
|   |   |   |-- mp6.ine
|   |   |   |-- nonfull.ine
|   |   |   |-- origin.ine
|   |   |   |-- prodst62.ext
|   |   |   |-- project1_m.ine
|   |   |   |-- project1res.ine
|   |   |   |-- project2_m.ine
|   |   |   |-- project2res.ine
|   |   |   |-- rcubocta.ine
|   |   |   |-- redcheck.ext
|   |   |   |-- reg24-5.ext
|   |   |   |-- reg24-5.ine
|   |   |   |-- reg600-5_m.ext
|   |   |   |-- rhomtria_m.ine
|   |   |   |-- sample.ine
|   |   |   |-- sampleh1.ine
|   |   |   |-- sampleh2.ine
|   |   |   |-- sampleh3.ine
|   |   |   |-- sampleh4.ine
|   |   |   |-- sampleh5.ine
|   |   |   |-- sampleh6.ine
|   |   |   |-- sampleh7.ine
|   |   |   |-- sampleh8.ine
|   |   |   |-- samplev1.ext
|   |   |   |-- samplev2.ext
|   |   |   |-- samplev3.ext
|   |   |   |-- trunc10.ine
|   |   |   |-- trunc7.ine
|   |   |   |-- tsp5.ext
|   |   |   `-- tsp5.ine
|   |   |-- expected_int16
|   |   |-- expected_int16_a
|   |   |-- expected_int32
|   |   |-- expected_int32_a
|   |   |-- expected_int64
|   |   |-- expected_int64_a
|   |   |-- expected_int8
|   |   |-- expected_int8_a
|   |   |-- expected_mpz
|   |   |-- expected_mpz_a
|   |   |-- ppl_lcdd.1
|   |   `-- ppl_lcdd.cc
|   |-- ppl_lpsol
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- dummy.cc
|   |   |-- examples
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README
|   |   |   |-- adlittle.mps
|   |   |   |-- afiro.mps
|   |   |   |-- bgprtr.mps
|   |   |   |-- blend.mps
|   |   |   |-- boeing1.mps
|   |   |   |-- boeing2.mps
|   |   |   |-- egout.mps
|   |   |   |-- ex1.mps
|   |   |   |-- ex12.mps
|   |   |   |-- kb2.mps
|   |   |   |-- lseu.mps
|   |   |   |-- markshare1.mps
|   |   |   |-- markshare2.mps
|   |   |   |-- mas74.mps
|   |   |   |-- mas76.mps
|   |   |   |-- mip.mps
|   |   |   |-- modglob.mps
|   |   |   |-- noswot.mps
|   |   |   |-- opt1217.mps
|   |   |   |-- p0033.mps
|   |   |   |-- pk1.mps
|   |   |   |-- rout.mps
|   |   |   |-- sample.mps
|   |   |   |-- sc105.mps
|   |   |   |-- sc50a.mps
|   |   |   |-- sc50b.mps
|   |   |   |-- ship08l.mps
|   |   |   `-- unboundedmin.mps
|   |   |-- expected_int16
|   |   |-- expected_int16_a
|   |   |-- expected_int32
|   |   |-- expected_int32_a
|   |   |-- expected_int64
|   |   |-- expected_int64_a
|   |   |-- expected_int8
|   |   |-- expected_int8_a
|   |   |-- expected_mpz
|   |   |-- expected_mpz_a
|   |   |-- glpk_set_d_eps.c
|   |   |-- ppl_lpsol.1
|   |   `-- ppl_lpsol.c
|   `-- ppl_pips
|       |-- Makefile.am
|       |-- Makefile.in
|       |-- examples
|       |   |-- Makefile.am
|       |   |-- Makefile.in
|       |   |-- README
|       |   |-- big.pip
|       |   |-- brisebarre.pip
|       |   |-- cg1.pip
|       |   |-- esced.pip
|       |   |-- ex2.pip
|       |   |-- fimmel.pip
|       |   |-- invert.dat
|       |   |-- linear.dat
|       |   |-- lineri.dat
|       |   |-- loz.dat
|       |   |-- max.dat
|       |   |-- max.pip
|       |   |-- maxb.dat
|       |   |-- pairi.dat
|       |   |-- petit.dat
|       |   |-- rairoi.dat
|       |   |-- sor1d.pip
|       |   |-- square.pip
|       |   |-- test02.dat
|       |   `-- test12i.dat
|       |-- expected_int16
|       |-- expected_int16_a
|       |-- expected_int32
|       |-- expected_int32_a
|       |-- expected_int64
|       |-- expected_int64_a
|       |-- expected_int8
|       |-- expected_int8_a
|       |-- expected_mpz
|       |-- expected_mpz_a
|       |-- ppl_pips.1
|       `-- ppl_pips.cc
|-- depcomp
|-- doc
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- README.doc
|   |-- bugseng_logo.pdf
|   |-- definitions.dox
|   |-- devref-language-interface.doxyconf.in
|   |-- devref-language-interface.tex
|   |-- devref.doxyconf-html.in
|   |-- devref.doxyconf-latex.in
|   |-- devref.tex
|   |-- fdl.dox
|   |-- fdl.pdf
|   |-- fdl.ps.gz
|   |-- fdl.tex
|   |-- fdl.txt
|   |-- gpl.dox
|   |-- gpl.pdf
|   |-- gpl.ps.gz
|   |-- gpl.tex
|   |-- gpl.txt
|   |-- interfaces-html.sed
|   |-- interfaces-latex.sed
|   |-- libppl.3
|   |-- libppl_c.3
|   |-- ppl-config.1
|   |-- ppl-user-1.2-html.tar.gz
|   |-- ppl-user-1.2.pdf
|   |-- ppl-user-1.2.ps.gz
|   |-- ppl-user-c-interface-1.2-html.tar.gz
|   |-- ppl-user-c-interface-1.2.pdf
|   |-- ppl-user-c-interface-1.2.ps.gz
|   |-- ppl-user-java-interface-1.2-html.tar.gz
|   |-- ppl-user-java-interface-1.2.pdf
|   |-- ppl-user-java-interface-1.2.ps.gz
|   |-- ppl-user-prolog-interface-1.2-html.tar.gz
|   |-- ppl-user-prolog-interface-1.2.pdf
|   |-- ppl-user-prolog-interface-1.2.ps.gz
|   |-- ppl.bib
|   |-- ppl.sty
|   |-- ppl_citations.bib
|   |-- ppl_logo.pdf
|   |-- ppl_logo_no_ppl.pdf
|   |-- user-language-interface.doxyconf.in
|   |-- user-language-interface.tex
|   |-- user.doxyconf-html.in
|   |-- user.doxyconf-latex.in
|   `-- user.tex
|-- install-sh
|-- instchk.hh
|-- interfaces
|   |-- C
|   |   |-- C_interface.dox
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- ppl_c.h.dist
|   |   |-- ppl_c_header.h
|   |   |-- ppl_c_implementation_common.cc
|   |   |-- ppl_c_implementation_common_defs.hh
|   |   |-- ppl_c_implementation_common_inlines.hh
|   |   |-- ppl_c_version.h.in
|   |   |-- ppl_interface_generator_c_cc_code.m4
|   |   |-- ppl_interface_generator_c_cc_files.m4
|   |   |-- ppl_interface_generator_c_h.m4
|   |   |-- ppl_interface_generator_c_h_code.m4
|   |   |-- ppl_interface_generator_c_hh_files.m4
|   |   |-- ppl_interface_generator_c_procedure_generators.m4
|   |   `-- tests
|   |       |-- Makefile.am
|   |       |-- Makefile.in
|   |       |-- formatted_output.c
|   |       |-- pip_test.c
|   |       |-- ppl_c_test.cc
|   |       |-- ppl_c_test.h
|   |       |-- print_to_buffer.c
|   |       |-- print_to_buffer.h
|   |       |-- watchdog1.c
|   |       `-- weightwatch1.c
|   |-- Java
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- README.java
|   |   |-- jni
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- ppl_interface_generator_java_classes_cc_code.m4
|   |   |   |-- ppl_interface_generator_java_classes_cc_files.m4
|   |   |   |-- ppl_java_common.cc
|   |   |   |-- ppl_java_common_defs.hh
|   |   |   |-- ppl_java_common_inlines.hh
|   |   |   `-- ppl_java_globals.cc
|   |   |-- parma_polyhedra_library
|   |   |   |-- Artificial_Parameter.java
|   |   |   |-- Artificial_Parameter_Sequence.java
|   |   |   |-- Bounded_Integer_Type_Overflow.java
|   |   |   |-- Bounded_Integer_Type_Representation.java
|   |   |   |-- Bounded_Integer_Type_Width.java
|   |   |   |-- By_Reference.java
|   |   |   |-- Coefficient.java
|   |   |   |-- Complexity_Class.java
|   |   |   |-- Congruence.java
|   |   |   |-- Congruence_System.java
|   |   |   |-- Constraint.java
|   |   |   |-- Constraint_System.java
|   |   |   |-- Control_Parameter_Name.java
|   |   |   |-- Control_Parameter_Value.java
|   |   |   |-- Degenerate_Element.java
|   |   |   |-- Domain_Error_Exception.java
|   |   |   |-- Fake_Class_for_Doxygen.java
|   |   |   |-- Generator.java
|   |   |   |-- Generator_System.java
|   |   |   |-- Generator_Type.java
|   |   |   |-- Grid_Generator.java
|   |   |   |-- Grid_Generator_System.java
|   |   |   |-- Grid_Generator_Type.java
|   |   |   |-- IO.java
|   |   |   |-- Invalid_Argument_Exception.java
|   |   |   |-- Length_Error_Exception.java
|   |   |   |-- Linear_Expression.java
|   |   |   |-- Linear_Expression_Coefficient.java
|   |   |   |-- Linear_Expression_Difference.java
|   |   |   |-- Linear_Expression_Sum.java
|   |   |   |-- Linear_Expression_Times.java
|   |   |   |-- Linear_Expression_Unary_Minus.java
|   |   |   |-- Linear_Expression_Variable.java
|   |   |   |-- Logic_Error_Exception.java
|   |   |   |-- MIP_Problem.java
|   |   |   |-- MIP_Problem_Status.java
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- Optimization_Mode.java
|   |   |   |-- Overflow_Error_Exception.java
|   |   |   |-- PIP_Decision_Node.java
|   |   |   |-- PIP_Problem.java
|   |   |   |-- PIP_Problem_Control_Parameter_Name.java
|   |   |   |-- PIP_Problem_Control_Parameter_Value.java
|   |   |   |-- PIP_Problem_Status.java
|   |   |   |-- PIP_Solution_Node.java
|   |   |   |-- PIP_Tree_Node.java
|   |   |   |-- PPL_Object.java
|   |   |   |-- Pair.java
|   |   |   |-- Parma_Polyhedra_Library.java
|   |   |   |-- Partial_Function.java
|   |   |   |-- Poly_Con_Relation.java
|   |   |   |-- Poly_Gen_Relation.java
|   |   |   |-- Relation_Symbol.java
|   |   |   |-- Timeout_Exception.java
|   |   |   |-- Variable.java
|   |   |   |-- Variable_Stringifier.java
|   |   |   |-- Variables_Set.java
|   |   |   |-- ppl_interface_generator_java_classes_java.m4
|   |   |   `-- ppl_interface_generator_java_classes_java_code.m4
|   |   |-- ppl_interface_generator_java_procedure_generators.m4
|   |   `-- tests
|   |       |-- C_Polyhedron_test1.java
|   |       |-- Custom_Variable_Stringifier.java
|   |       |-- MIP_Problem_test1.java
|   |       |-- Makefile.am
|   |       |-- Makefile.in
|   |       |-- NNC_Polyhedron_test1.java
|   |       |-- PIP_Problem_test1.java
|   |       |-- PPL_Test.java
|   |       |-- Parma_Polyhedra_Library_test1.java
|   |       |-- Parma_Polyhedra_Library_test2.java
|   |       |-- Test_Executor.java
|   |       |-- Variable_Output_test1.java
|   |       |-- ppl_interface_generator_java_test_java.m4
|   |       |-- ppl_interface_generator_java_test_java_code.m4
|   |       `-- ppl_java_tests_common
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- OCaml
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- OCaml_interface.dox
|   |   |-- README.ocaml
|   |   |-- ppl_interface_generator_ocaml_cc_code.m4
|   |   |-- ppl_interface_generator_ocaml_cc_files.m4
|   |   |-- ppl_interface_generator_ocaml_hh_code.m4
|   |   |-- ppl_interface_generator_ocaml_hh_files.m4
|   |   |-- ppl_interface_generator_ocaml_ml.m4
|   |   |-- ppl_interface_generator_ocaml_ml_code.m4
|   |   |-- ppl_interface_generator_ocaml_mli.m4
|   |   |-- ppl_interface_generator_ocaml_mli_code.m4
|   |   |-- ppl_interface_generator_ocaml_procedure_generators.m4
|   |   |-- ppl_ocaml_common.cc
|   |   |-- ppl_ocaml_common_defs.hh
|   |   |-- ppl_ocaml_common_inlines.hh
|   |   |-- ppl_ocaml_globals.ml
|   |   |-- ppl_ocaml_globals.mli
|   |   `-- tests
|   |       |-- Makefile.am
|   |       |-- Makefile.in
|   |       |-- ppl_interface_generator_ocaml_test_ml.m4
|   |       |-- ppl_interface_generator_ocaml_test_ml_code.m4
|   |       |-- ppl_ocaml_tests_common
|   |       `-- test1.ml
|   |-- Prolog
|   |   |-- Ciao
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README.ciao
|   |   |   |-- ciao_cfli.hh
|   |   |   |-- ciao_clpq.pl
|   |   |   |-- ciao_clpq2.pl
|   |   |   |-- ciao_efli.cc
|   |   |   |-- ciao_efli.hh
|   |   |   |-- ciao_pl_check.pl
|   |   |   |-- ppl_interface_generator_ciao_pl.m4
|   |   |   |-- ppl_interface_generator_ciao_prolog_generated_test_pl.m4
|   |   |   `-- ppl_prolog_sysdep.hh
|   |   |-- GNU
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README.gprolog
|   |   |   |-- gnu_pl_check.pl
|   |   |   |-- gnu_prolog_generated_test.pl
|   |   |   |-- gp_clpq.pl
|   |   |   |-- gprolog_cfli.hh
|   |   |   |-- gprolog_efli.cc
|   |   |   |-- gprolog_efli.hh
|   |   |   |-- ppl_interface_generator_gprolog_pl.m4
|   |   |   `-- ppl_prolog_sysdep.hh
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- Prolog_configured_interface.dox
|   |   |-- Prolog_interface.dox
|   |   |-- Prolog_interface_compilation.dox
|   |   |-- Prolog_interface_sysdep.dox
|   |   |-- Prolog_interface_sysindep.dox
|   |   |-- Prolog_interface_sysindep_domains.dox
|   |   |-- SICStus
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- ppl_interface_generator_sicstus_sd_cc.m4
|   |   |   |-- ppl_prolog_sysdep.hh
|   |   |   |-- ppl_sicstus.pl
|   |   |   |-- sicstus_cfli.cc
|   |   |   |-- sicstus_cfli.h
|   |   |   |-- sicstus_cfli.ic
|   |   |   |-- sicstus_efli.cc
|   |   |   |-- sicstus_efli.hh
|   |   |   |-- sp_clpq.pl
|   |   |   |-- sp_pl_check.pl
|   |   |   `-- sp_prolog_generated_test.pl
|   |   |-- SWI
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README.swiprolog
|   |   |   |-- pl_clpq.cc
|   |   |   |-- pl_clpq.pl
|   |   |   |-- ppl_interface_generator_swiprolog_cc.m4
|   |   |   |-- ppl_pl.cc
|   |   |   |-- ppl_prolog_sysdep.hh
|   |   |   |-- ppl_swiprolog.hh
|   |   |   |-- ppl_swiprolog.pl
|   |   |   |-- swi_cfli.hh
|   |   |   |-- swi_efli.cc
|   |   |   |-- swi_efli.hh
|   |   |   |-- swi_pl_check.pl
|   |   |   `-- swi_prolog_generated_test.pl
|   |   |-- XSB
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- ppl_interface_generator_xsb_H.m4
|   |   |   |-- ppl_interface_generator_xsb_cc.m4
|   |   |   |-- ppl_interface_generator_xsb_hh.m4
|   |   |   |-- ppl_interface_generator_xsb_prolog_generated_test_P.m4
|   |   |   |-- ppl_prolog_sysdep.hh
|   |   |   |-- xsb_cfli.hh
|   |   |   |-- xsb_clpq.P
|   |   |   |-- xsb_clpq2.P
|   |   |   |-- xsb_efli.cc
|   |   |   |-- xsb_efli.hh
|   |   |   `-- xsb_pl_check.P
|   |   |-- YAP
|   |   |   |-- Makefile.am
|   |   |   |-- Makefile.in
|   |   |   |-- README.yap
|   |   |   |-- ppl_interface_generator_yap_cc.m4
|   |   |   |-- ppl_prolog_sysdep.hh
|   |   |   |-- ppl_yap.pl
|   |   |   |-- yap_cfli.hh
|   |   |   |-- yap_clpq.pl
|   |   |   |-- yap_clpq2.pl
|   |   |   |-- yap_efli.cc
|   |   |   |-- yap_efli.hh
|   |   |   |-- yap_pl_check.pl
|   |   |   `-- yap_prolog_generated_test.pl
|   |   |-- ppl_interface_generator_prolog_cc_code.m4
|   |   |-- ppl_interface_generator_prolog_cc_files.m4
|   |   |-- ppl_interface_generator_prolog_dox.m4
|   |   |-- ppl_interface_generator_prolog_dox_code.m4
|   |   |-- ppl_interface_generator_prolog_hh_code.m4
|   |   |-- ppl_interface_generator_prolog_hh_files.m4
|   |   |-- ppl_interface_generator_prolog_procedure_generators.m4
|   |   |-- ppl_interface_generator_prolog_systems.m4
|   |   |-- ppl_prolog_common.cc
|   |   |-- ppl_prolog_common_defs.hh
|   |   |-- ppl_prolog_common_inlines.hh
|   |   `-- tests
|   |       |-- Makefile.am
|   |       |-- Makefile.in
|   |       |-- ack.clpq
|   |       |-- ackn.clpq
|   |       |-- clpq.pl
|   |       |-- clpq2.pl
|   |       |-- expected_clpq2_int16
|   |       |-- expected_clpq2_int16_a
|   |       |-- expected_clpq2_int32
|   |       |-- expected_clpq2_int32_a
|   |       |-- expected_clpq2_int64
|   |       |-- expected_clpq2_int64_a
|   |       |-- expected_clpq2_int8
|   |       |-- expected_clpq2_int8_a
|   |       |-- expected_clpq2_mpz
|   |       |-- expected_clpq2_mpz_a
|   |       |-- expected_clpq_int16
|   |       |-- expected_clpq_int16_a
|   |       |-- expected_clpq_int32
|   |       |-- expected_clpq_int32_a
|   |       |-- expected_clpq_int64
|   |       |-- expected_clpq_int64_a
|   |       |-- expected_clpq_int8
|   |       |-- expected_clpq_int8_a
|   |       |-- expected_clpq_mpz
|   |       |-- expected_clpq_mpz_a
|   |       |-- expected_pchk_int16
|   |       |-- expected_pchk_int16_a
|   |       |-- expected_pchk_int32
|   |       |-- expected_pchk_int32_a
|   |       |-- expected_pchk_int64
|   |       |-- expected_pchk_int64_a
|   |       |-- expected_pchk_int8
|   |       |-- expected_pchk_int8_a
|   |       |-- expected_pchk_mpz
|   |       |-- expected_pchk_mpz_a
|   |       |-- expected_pgt
|   |       |-- fib.clpq
|   |       |-- mc91.clpq
|   |       |-- pl_check.pl
|   |       |-- ppl_interface_generator_prolog_generated_test_pl.m4
|   |       |-- ppl_interface_generator_prolog_generated_test_pl_code.m4
|   |       |-- ppl_prolog_generated_test_common.pl
|   |       |-- schedule.clpq
|   |       |-- script_clpq
|   |       |-- script_clpq2
|   |       |-- script_clpq2_int8
|   |       |-- smm.clpq
|   |       |-- sumto.clpq
|   |       `-- tak.clpq
|   |-- interfaced_boxes.hh
|   |-- marked_pointers.hh
|   |-- ppl_interface_generator_common.m4
|   |-- ppl_interface_generator_common_dat.m4
|   |-- ppl_interface_generator_common_procedure_generators.m4
|   `-- ppl_interface_generator_copyright
|-- ltmain.sh
|-- m4
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- ac_check_ciao.m4
|   |-- ac_check_classpath.m4
|   |-- ac_check_cxx11.m4
|   |-- ac_check_fpu_control.m4
|   |-- ac_check_gmp.m4
|   |-- ac_check_sicstus_prolog.m4
|   |-- ac_check_swi_prolog.m4
|   |-- ac_check_xsb_prolog.m4
|   |-- ac_check_yap.m4
|   |-- ac_cxx_attribute_weak.m4
|   |-- ac_cxx_double_binary_format.m4
|   |-- ac_cxx_float_binary_format.m4
|   |-- ac_cxx_ieee_inexact_flag.m4
|   |-- ac_cxx_limit_memory.m4
|   |-- ac_cxx_long_double_binary_format.m4
|   |-- ac_cxx_plain_char_is_signed.m4
|   |-- ac_cxx_proper_long_double.m4
|   |-- ac_cxx_zero_length_arrays.m4
|   |-- ac_prog_jar.m4
|   |-- ac_prog_java.m4
|   |-- ac_prog_javac.m4
|   |-- ac_prog_javah.m4
|   |-- ac_text_md5sum.m4
|   |-- ac_use_libtool.m4
|   |-- libtool.m4
|   |-- ltoptions.m4
|   |-- ltsugar.m4
|   |-- ltversion.m4
|   |-- lt~obsolete.m4
|   |-- m4.m4
|   |-- ocaml.m4
|   |-- ppl.m4
|   `-- ppl_c.m4
|-- missing
|-- mkinstalldirs
|-- ppl-config.h.in
|-- ppl-config.sed
|-- ppl.lsm.in
|-- src
|   |-- BDS_Status.cc
|   |-- BDS_Status_idefs.hh
|   |-- BDS_Status_inlines.hh
|   |-- BD_Shape.cc
|   |-- BD_Shape_defs.hh
|   |-- BD_Shape_inlines.hh
|   |-- BD_Shape_templates.hh
|   |-- BD_Shape_types.hh
|   |-- BHRZ03_Certificate.cc
|   |-- BHRZ03_Certificate_defs.hh
|   |-- BHRZ03_Certificate_inlines.hh
|   |-- BHRZ03_Certificate_types.hh
|   |-- BUGS.cc.dist
|   |-- BUGS.hh.dist
|   |-- Bit_Matrix.cc
|   |-- Bit_Matrix_defs.hh
|   |-- Bit_Matrix_inlines.hh
|   |-- Bit_Matrix_types.hh
|   |-- Bit_Row.cc
|   |-- Bit_Row_defs.hh
|   |-- Bit_Row_inlines.hh
|   |-- Bit_Row_types.hh
|   |-- Boundary_defs.hh
|   |-- Box.cc
|   |-- Box_Status.cc
|   |-- Box_Status_idefs.hh
|   |-- Box_Status_inlines.hh
|   |-- Box_defs.hh
|   |-- Box_inlines.hh
|   |-- Box_templates.hh
|   |-- Box_types.hh
|   |-- COPYING.cc.dist
|   |-- COPYING.hh.dist
|   |-- CO_Tree.cc
|   |-- CO_Tree_defs.hh
|   |-- CO_Tree_inlines.hh
|   |-- CO_Tree_templates.hh
|   |-- CO_Tree_types.hh
|   |-- CREDITS.cc.dist
|   |-- CREDITS.hh.dist
|   |-- C_Integer.hh
|   |-- C_Polyhedron.cc
|   |-- C_Polyhedron_defs.hh
|   |-- C_Polyhedron_inlines.hh
|   |-- C_Polyhedron_types.hh
|   |-- Cast_Floating_Point_Expression_defs.hh
|   |-- Cast_Floating_Point_Expression_inlines.hh
|   |-- Cast_Floating_Point_Expression_templates.hh
|   |-- Cast_Floating_Point_Expression_types.hh
|   |-- Checked_Number.cc
|   |-- Checked_Number_defs.hh
|   |-- Checked_Number_inlines.hh
|   |-- Checked_Number_templates.hh
|   |-- Checked_Number_types.hh
|   |-- Coefficient.cc
|   |-- Coefficient_defs.hh
|   |-- Coefficient_inlines.hh
|   |-- Coefficient_traits_template.hh
|   |-- Coefficient_types.hh
|   |-- Concrete_Expression.cc
|   |-- Concrete_Expression_defs.hh
|   |-- Concrete_Expression_inlines.hh
|   |-- Concrete_Expression_types.hh
|   |-- Congruence.cc
|   |-- Congruence_System.cc
|   |-- Congruence_System_defs.hh
|   |-- Congruence_System_inlines.hh
|   |-- Congruence_System_types.hh
|   |-- Congruence_defs.hh
|   |-- Congruence_inlines.hh
|   |-- Congruence_types.hh
|   |-- Constant_Floating_Point_Expression_defs.hh
|   |-- Constant_Floating_Point_Expression_inlines.hh
|   |-- Constant_Floating_Point_Expression_types.hh
|   |-- Constraint.cc
|   |-- Constraint_System.cc
|   |-- Constraint_System_defs.hh
|   |-- Constraint_System_inlines.hh
|   |-- Constraint_System_types.hh
|   |-- Constraint_defs.hh
|   |-- Constraint_inlines.hh
|   |-- Constraint_types.hh
|   |-- DB_Matrix_defs.hh
|   |-- DB_Matrix_inlines.hh
|   |-- DB_Matrix_templates.hh
|   |-- DB_Matrix_types.hh
|   |-- DB_Row_defs.hh
|   |-- DB_Row_inlines.hh
|   |-- DB_Row_templates.hh
|   |-- DB_Row_types.hh
|   |-- Dense_Row.cc
|   |-- Dense_Row_defs.hh
|   |-- Dense_Row_inlines.hh
|   |-- Dense_Row_templates.hh
|   |-- Dense_Row_types.hh
|   |-- Determinate_defs.hh
|   |-- Determinate_inlines.hh
|   |-- Determinate_types.hh
|   |-- Difference_Floating_Point_Expression_defs.hh
|   |-- Difference_Floating_Point_Expression_inlines.hh
|   |-- Difference_Floating_Point_Expression_templates.hh
|   |-- Difference_Floating_Point_Expression_types.hh
|   |-- Division_Floating_Point_Expression_defs.hh
|   |-- Division_Floating_Point_Expression_inlines.hh
|   |-- Division_Floating_Point_Expression_templates.hh
|   |-- Division_Floating_Point_Expression_types.hh
|   |-- Doubly_Linked_Object_defs.hh
|   |-- Doubly_Linked_Object_inlines.hh
|   |-- Doubly_Linked_Object_types.hh
|   |-- EList_Iterator_defs.hh
|   |-- EList_Iterator_inlines.hh
|   |-- EList_Iterator_types.hh
|   |-- EList_defs.hh
|   |-- EList_inlines.hh
|   |-- EList_types.hh
|   |-- Expression_Adapter_defs.hh
|   |-- Expression_Adapter_inlines.hh
|   |-- Expression_Adapter_types.hh
|   |-- Expression_Hide_Inhomo_defs.hh
|   |-- Expression_Hide_Inhomo_inlines.hh
|   |-- Expression_Hide_Inhomo_types.hh
|   |-- Expression_Hide_Last_defs.hh
|   |-- Expression_Hide_Last_inlines.hh
|   |-- Expression_Hide_Last_types.hh
|   |-- Float.cc
|   |-- Float_defs.hh
|   |-- Float_inlines.hh
|   |-- Float_templates.hh
|   |-- Floating_Point_Expression_defs.hh
|   |-- Floating_Point_Expression_inlines.hh
|   |-- Floating_Point_Expression_templates.hh
|   |-- Floating_Point_Expression_types.hh
|   |-- GMP_Integer_defs.hh
|   |-- GMP_Integer_inlines.hh
|   |-- GMP_Integer_types.hh
|   |-- Generator.cc
|   |-- Generator_System.cc
|   |-- Generator_System_defs.hh
|   |-- Generator_System_inlines.hh
|   |-- Generator_System_types.hh
|   |-- Generator_defs.hh
|   |-- Generator_inlines.hh
|   |-- Generator_types.hh
|   |-- Grid_Certificate.cc
|   |-- Grid_Certificate_defs.hh
|   |-- Grid_Certificate_inlines.hh
|   |-- Grid_Certificate_types.hh
|   |-- Grid_Generator.cc
|   |-- Grid_Generator_System.cc
|   |-- Grid_Generator_System_defs.hh
|   |-- Grid_Generator_System_inlines.hh
|   |-- Grid_Generator_System_types.hh
|   |-- Grid_Generator_defs.hh
|   |-- Grid_Generator_inlines.hh
|   |-- Grid_Generator_types.hh
|   |-- Grid_Status.cc
|   |-- Grid_Status_idefs.hh
|   |-- Grid_Status_inlines.hh
|   |-- Grid_chdims.cc
|   |-- Grid_conversion.cc
|   |-- Grid_defs.hh
|   |-- Grid_inlines.hh
|   |-- Grid_nonpublic.cc
|   |-- Grid_public.cc
|   |-- Grid_simplify.cc
|   |-- Grid_templates.hh
|   |-- Grid_types.hh
|   |-- Grid_widenings.cc
|   |-- H79_Certificate.cc
|   |-- H79_Certificate_defs.hh
|   |-- H79_Certificate_inlines.hh
|   |-- H79_Certificate_types.hh
|   |-- Handler.cc
|   |-- Handler_defs.hh
|   |-- Handler_inlines.hh
|   |-- Handler_types.hh
|   |-- Has_Assign_Or_Swap.hh
|   |-- Init.cc
|   |-- Init_defs.hh
|   |-- Init_inlines.hh
|   |-- Init_types.hh
|   |-- Integer_Interval.hh
|   |-- Interval_Info_defs.hh
|   |-- Interval_Info_inlines.hh
|   |-- Interval_Info_types.hh
|   |-- Interval_defs.hh
|   |-- Interval_inlines.hh
|   |-- Interval_templates.hh
|   |-- Interval_types.hh
|   |-- Linear_Expression.cc
|   |-- Linear_Expression_Impl.cc
|   |-- Linear_Expression_Impl_defs.hh
|   |-- Linear_Expression_Impl_inlines.hh
|   |-- Linear_Expression_Impl_templates.hh
|   |-- Linear_Expression_Impl_types.hh
|   |-- Linear_Expression_Interface.cc
|   |-- Linear_Expression_Interface_defs.hh
|   |-- Linear_Expression_Interface_types.hh
|   |-- Linear_Expression_defs.hh
|   |-- Linear_Expression_inlines.hh
|   |-- Linear_Expression_types.hh
|   |-- Linear_Form.cc
|   |-- Linear_Form_defs.hh
|   |-- Linear_Form_inlines.hh
|   |-- Linear_Form_templates.hh
|   |-- Linear_Form_types.hh
|   |-- Linear_System_defs.hh
|   |-- Linear_System_inlines.hh
|   |-- Linear_System_templates.hh
|   |-- Linear_System_types.hh
|   |-- MIP_Problem.cc
|   |-- MIP_Problem_defs.hh
|   |-- MIP_Problem_inlines.hh
|   |-- MIP_Problem_templates.hh
|   |-- MIP_Problem_types.hh
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- Matrix_defs.hh
|   |-- Matrix_inlines.hh
|   |-- Matrix_templates.hh
|   |-- Matrix_types.hh
|   |-- Multiplication_Floating_Point_Expression_defs.hh
|   |-- Multiplication_Floating_Point_Expression_inlines.hh
|   |-- Multiplication_Floating_Point_Expression_templates.hh
|   |-- Multiplication_Floating_Point_Expression_types.hh
|   |-- NNC_Polyhedron.cc
|   |-- NNC_Polyhedron_defs.hh
|   |-- NNC_Polyhedron_inlines.hh
|   |-- NNC_Polyhedron_types.hh
|   |-- Numeric_Format_defs.hh
|   |-- OR_Matrix_defs.hh
|   |-- OR_Matrix_inlines.hh
|   |-- OR_Matrix_templates.hh
|   |-- OR_Matrix_types.hh
|   |-- Octagonal_Shape.cc
|   |-- Octagonal_Shape_defs.hh
|   |-- Octagonal_Shape_inlines.hh
|   |-- Octagonal_Shape_templates.hh
|   |-- Octagonal_Shape_types.hh
|   |-- Og_Status.cc
|   |-- Og_Status_idefs.hh
|   |-- Og_Status_inlines.hh
|   |-- Opposite_Floating_Point_Expression_defs.hh
|   |-- Opposite_Floating_Point_Expression_inlines.hh
|   |-- Opposite_Floating_Point_Expression_types.hh
|   |-- PIP_Problem.cc
|   |-- PIP_Problem_defs.hh
|   |-- PIP_Problem_inlines.hh
|   |-- PIP_Problem_templates.hh
|   |-- PIP_Problem_types.hh
|   |-- PIP_Tree.cc
|   |-- PIP_Tree_defs.hh
|   |-- PIP_Tree_inlines.hh
|   |-- PIP_Tree_types.hh
|   |-- Partial_Function.cc
|   |-- Partial_Function_defs.hh
|   |-- Partial_Function_inlines.hh
|   |-- Partial_Function_types.hh
|   |-- Partially_Reduced_Product_defs.hh
|   |-- Partially_Reduced_Product_inlines.hh
|   |-- Partially_Reduced_Product_templates.hh
|   |-- Partially_Reduced_Product_types.hh
|   |-- Pending_Element_defs.hh
|   |-- Pending_Element_inlines.hh
|   |-- Pending_Element_types.hh
|   |-- Pending_List_defs.hh
|   |-- Pending_List_inlines.hh
|   |-- Pending_List_templates.hh
|   |-- Pending_List_types.hh
|   |-- Ph_Status.cc
|   |-- Ph_Status_idefs.hh
|   |-- Ph_Status_inlines.hh
|   |-- Pointset_Powerset.cc
|   |-- Pointset_Powerset_defs.hh
|   |-- Pointset_Powerset_inlines.hh
|   |-- Pointset_Powerset_templates.hh
|   |-- Pointset_Powerset_types.hh
|   |-- Poly_Con_Relation.cc
|   |-- Poly_Con_Relation_defs.hh
|   |-- Poly_Con_Relation_inlines.hh
|   |-- Poly_Con_Relation_types.hh
|   |-- Poly_Gen_Relation.cc
|   |-- Poly_Gen_Relation_defs.hh
|   |-- Poly_Gen_Relation_inlines.hh
|   |-- Poly_Gen_Relation_types.hh
|   |-- Polyhedron_chdims.cc
|   |-- Polyhedron_chdims_templates.hh
|   |-- Polyhedron_conversion_templates.hh
|   |-- Polyhedron_defs.hh
|   |-- Polyhedron_inlines.hh
|   |-- Polyhedron_minimize_templates.hh
|   |-- Polyhedron_nonpublic.cc
|   |-- Polyhedron_public.cc
|   |-- Polyhedron_simplify_templates.hh
|   |-- Polyhedron_templates.hh
|   |-- Polyhedron_types.hh
|   |-- Polyhedron_widenings.cc
|   |-- Powerset_defs.hh
|   |-- Powerset_inlines.hh
|   |-- Powerset_templates.hh
|   |-- Powerset_types.hh
|   |-- Ptr_Iterator_defs.hh
|   |-- Ptr_Iterator_inlines.hh
|   |-- Ptr_Iterator_types.hh
|   |-- Rational_Box.hh
|   |-- Rational_Interval.hh
|   |-- Result_defs.hh
|   |-- Result_inlines.hh
|   |-- Rounding_Dir_defs.hh
|   |-- Rounding_Dir_inlines.hh
|   |-- Scalar_Products.cc
|   |-- Scalar_Products_defs.hh
|   |-- Scalar_Products_inlines.hh
|   |-- Scalar_Products_types.hh
|   |-- Slow_Copy.hh
|   |-- Sparse_Row.cc
|   |-- Sparse_Row_defs.hh
|   |-- Sparse_Row_inlines.hh
|   |-- Sparse_Row_templates.hh
|   |-- Sparse_Row_types.hh
|   |-- Sum_Floating_Point_Expression_defs.hh
|   |-- Sum_Floating_Point_Expression_inlines.hh
|   |-- Sum_Floating_Point_Expression_templates.hh
|   |-- Sum_Floating_Point_Expression_types.hh
|   |-- Swapping_Vector_defs.hh
|   |-- Swapping_Vector_inlines.hh
|   |-- Swapping_Vector_types.hh
|   |-- Temp_defs.hh
|   |-- Temp_inlines.hh
|   |-- Temp_templates.hh
|   |-- Threshold_Watcher.cc
|   |-- Threshold_Watcher_defs.hh
|   |-- Threshold_Watcher_inlines.hh
|   |-- Threshold_Watcher_templates.hh
|   |-- Threshold_Watcher_types.hh
|   |-- Time.cc
|   |-- Time_defs.hh
|   |-- Time_inlines.hh
|   |-- Time_types.hh
|   |-- Topology_types.hh
|   |-- Variable.cc
|   |-- Variable_Floating_Point_Expression_defs.hh
|   |-- Variable_Floating_Point_Expression_inlines.hh
|   |-- Variable_Floating_Point_Expression_types.hh
|   |-- Variable_defs.hh
|   |-- Variable_inlines.hh
|   |-- Variable_types.hh
|   |-- Variables_Set.cc
|   |-- Variables_Set_defs.hh
|   |-- Variables_Set_inlines.hh
|   |-- Variables_Set_types.hh
|   |-- WRD_coefficient_types_defs.hh
|   |-- WRD_coefficient_types_inlines.hh
|   |-- Watchdog.cc
|   |-- Watchdog_defs.hh
|   |-- Watchdog_inlines.hh
|   |-- Watchdog_types.hh
|   |-- Weight_Profiler.cc
|   |-- Weight_Profiler_defs.hh
|   |-- Widening_Function_defs.hh
|   |-- Widening_Function_inlines.hh
|   |-- Widening_Function_types.hh
|   |-- algorithms.hh
|   |-- assertions.cc
|   |-- assertions.hh
|   |-- assign_or_swap.hh
|   |-- c_streambuf.cc
|   |-- c_streambuf_defs.hh
|   |-- c_streambuf_inlines.hh
|   |-- c_streambuf_types.hh
|   |-- checked.cc
|   |-- checked_defs.hh
|   |-- checked_ext_inlines.hh
|   |-- checked_float_inlines.hh
|   |-- checked_inlines.hh
|   |-- checked_int_inlines.hh
|   |-- checked_mpq_inlines.hh
|   |-- checked_mpz_inlines.hh
|   |-- checked_numeric_limits.hh
|   |-- compiler.hh
|   |-- distances_defs.hh
|   |-- distances_inlines.hh
|   |-- distances_types.hh
|   |-- fpu-c99_inlines.hh
|   |-- fpu-ia32.cc
|   |-- fpu-ia32_inlines.hh
|   |-- fpu-none_inlines.hh
|   |-- fpu-sparc_inlines.hh
|   |-- fpu_defs.hh
|   |-- fpu_types.hh
|   |-- globals.cc
|   |-- globals_defs.hh
|   |-- globals_inlines.hh
|   |-- globals_types.hh
|   |-- initializer.hh
|   |-- intervals_defs.hh
|   |-- iterator_to_const_defs.hh
|   |-- iterator_to_const_inlines.hh
|   |-- iterator_to_const_types.hh
|   |-- linearize.hh
|   |-- math_utilities_defs.hh
|   |-- math_utilities_inlines.hh
|   |-- max_space_dimension.hh
|   |-- meta_programming.hh
|   |-- mp_std_bits.cc
|   |-- mp_std_bits_defs.hh
|   |-- mp_std_bits_inlines.hh
|   |-- namespaces.hh
|   |-- ppl-config.cc.in
|   |-- ppl.hh.dist
|   |-- ppl_header.hh
|   |-- set_GMP_memory_alloc_funcs.cc
|   |-- stdiobuf.cc
|   |-- stdiobuf_defs.hh
|   |-- stdiobuf_inlines.hh
|   |-- stdiobuf_types.hh
|   |-- swapping_sort_templates.hh
|   |-- termination.cc
|   |-- termination_defs.hh
|   |-- termination_templates.hh
|   |-- termination_types.hh
|   |-- version.cc
|   |-- version.hh.in
|   |-- wrap_assign.hh
|   |-- wrap_string.cc
|   `-- wrap_string.hh
|-- test-driver
|-- tests
|   |-- BD_Shape
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addconstraints1.cc
|   |   |-- addspacedims1.cc
|   |   |-- affinedimension1.cc
|   |   |-- affineimage1.cc
|   |   |-- affineimage2.cc
|   |   |-- affinepreimage1.cc
|   |   |-- ascii_dump_load1.cc
|   |   |-- bgp99extrapolation1.cc
|   |   |-- bhmz05widening1.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- bounds1.cc
|   |   |-- cc76extrapolation1.cc
|   |   |-- cc76narrowing1.cc
|   |   |-- closure1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- constrains1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- difference1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- dropsomenonintegerpoints1.cc
|   |   |-- empty1.cc
|   |   |-- equality1.cc
|   |   |-- expandspacedim1.cc
|   |   |-- foldspacedims1.cc
|   |   |-- frequency1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromgensys1.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- fromspacedim1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generalizedaffinepreimage3.cc
|   |   |-- geomcovers1.cc
|   |   |-- h79widening1.cc
|   |   |-- integerupperboundifexact1.cc
|   |   |-- intersection1.cc
|   |   |-- limitedbhmz05extrapolation1.cc
|   |   |-- limitedcc76extrapolation1.cc
|   |   |-- limitedh79extrapolation1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- max_min1.cc
|   |   |-- max_min2.cc
|   |   |-- maxspacedim1.cc
|   |   |-- membytes1.cc
|   |   |-- minconstraints1.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- relations4.cc
|   |   |-- removespacedims1.cc
|   |   |-- run_tests
|   |   |-- simplifyusingcontext1.cc
|   |   |-- timeelapse1.cc
|   |   |-- unconstrain1.cc
|   |   |-- universe1.cc
|   |   |-- upperbound1.cc
|   |   |-- upperboundifexact1.cc
|   |   |-- wrap1.cc
|   |   `-- writebdshape1.cc
|   |-- Box
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addconstraints1.cc
|   |   |-- addspacedims1.cc
|   |   |-- affinedimension1.cc
|   |   |-- affineimage1.cc
|   |   |-- affinepreimage1.cc
|   |   |-- ascii_dump_load1.cc
|   |   |-- bgp99extrapolation1.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- cc76narrowing1.cc
|   |   |-- cc76widening.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- constrains1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- difference1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- empty1.cc
|   |   |-- equality1.cc
|   |   |-- expandspacedim1.cc
|   |   |-- foldspacedims1.cc
|   |   |-- frequency1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromgensys1.cc
|   |   |-- fromgrid1.cc
|   |   |-- frompartiallyreducedproduct1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- frompolyhedron2.cc
|   |   |-- fromspacedim1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- geomcovers1.cc
|   |   |-- intersection1.cc
|   |   |-- interval1.cc
|   |   |-- limitedcc76extrapolation1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- max_min1.cc
|   |   |-- maxspacedim1.cc
|   |   |-- membytes1.cc
|   |   |-- minconstraints1.cc
|   |   |-- propagateconstraints1.cc
|   |   |-- propagateconstraints2.cc
|   |   |-- refinewithcongruence1.cc
|   |   |-- refinewithcongruences1.cc
|   |   |-- refinewithconstraint1.cc
|   |   |-- refinewithconstraint2.cc
|   |   |-- refinewithconstraints1.cc
|   |   |-- refinewithconstraints2.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- relations4.cc
|   |   |-- removespacedims1.cc
|   |   |-- run_tests
|   |   |-- simplifyusingcontext1.cc
|   |   |-- timeelapse1.cc
|   |   |-- topclosed1.cc
|   |   |-- unconstrain1.cc
|   |   |-- universe1.cc
|   |   |-- upperbound1.cc
|   |   |-- upperboundifexact1.cc
|   |   |-- wrap1.cc
|   |   `-- writebox1.cc
|   |-- CO_Tree
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   `-- cotree1.cc
|   |-- Concrete_Expression
|   |   |-- C_Expr.cc
|   |   |-- C_Expr_defs.hh
|   |   |-- C_Expr_inlines.hh
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- bdshape1.cc
|   |   |-- bdshape2.cc
|   |   |-- digitalfilters1.cc
|   |   |-- linearform1.cc
|   |   |-- linearize.cc
|   |   |-- octagonalshape1.cc
|   |   |-- octagonalshape2.cc
|   |   |-- polyhedron1.cc
|   |   |-- polyhedron2.cc
|   |   `-- run_tests
|   |-- Grid
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addcongruence1.cc
|   |   |-- addcongruences1.cc
|   |   |-- addconstraint1.cc
|   |   |-- addconstraints1.cc
|   |   |-- addgenerator1.cc
|   |   |-- addgenerators1.cc
|   |   |-- addspacedims1.cc
|   |   |-- affinedim1.cc
|   |   |-- affineimage1.cc
|   |   |-- affineimage2.cc
|   |   |-- affinepreimage1.cc
|   |   |-- affinepreimage2.cc
|   |   |-- approximatepartition1.cc
|   |   |-- asciidumpload1.cc
|   |   |-- asciidumpload2.cc
|   |   |-- asciidumpload3.cc
|   |   |-- asciidumpload4.cc
|   |   |-- asciidumpload5.cc
|   |   |-- asciidumpload6.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- bounds1.cc
|   |   |-- certificate1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruence1.cc
|   |   |-- congruences1.cc
|   |   |-- congruences2.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- dropnonintegerpoints1.cc
|   |   |-- equals1.cc
|   |   |-- expandspacedim1.cc
|   |   |-- foldspacedims1.cc
|   |   |-- frequency1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffineimage3.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generalizedaffinepreimage3.cc
|   |   |-- generator1.cc
|   |   |-- generators1.cc
|   |   |-- generators2.cc
|   |   |-- grid1.cc
|   |   |-- grid2.cc
|   |   |-- grid3.cc
|   |   |-- griddifference1.cc
|   |   |-- intersection1.cc
|   |   |-- isempty1.cc
|   |   |-- isuniverse1.cc
|   |   |-- limitedextrapolation1.cc
|   |   |-- limitedextrapolation2.cc
|   |   |-- limitedextrapolation3.cc
|   |   |-- mapspacedims1.cc
|   |   |-- maxmin1.cc
|   |   |-- membytes1.cc
|   |   |-- mincongruences1.cc
|   |   |-- mingenerators1.cc
|   |   |-- outputoperator1.cc
|   |   |-- outputoperator2.cc
|   |   |-- outputoperator3.cc
|   |   |-- partition1.cc
|   |   |-- powersetdifference1.cc
|   |   |-- powersetgeometricallycovers1.cc
|   |   |-- powersetgeometricallyequals1.cc
|   |   |-- refinewithcongruences1.cc
|   |   |-- refinewithconstraints1.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- removespacedims1.cc
|   |   |-- removespacedims2.cc
|   |   |-- simplifyusingcontext1.cc
|   |   |-- timeelapse1.cc
|   |   |-- topclosed1.cc
|   |   |-- topclosure1.cc
|   |   |-- unconstrain1.cc
|   |   |-- upperbound1.cc
|   |   |-- upperbound2.cc
|   |   |-- widening1.cc
|   |   |-- widening2.cc
|   |   |-- widening3.cc
|   |   |-- wrap1.cc
|   |   `-- writecongruencesystem.cc
|   |-- MIP_Problem
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- ascii_dump_load1.cc
|   |   |-- exceptions1.cc
|   |   |-- mipproblem1.cc
|   |   |-- mipproblem2.cc
|   |   |-- mipproblem3.cc
|   |   `-- mipproblem4.cc
|   |-- Makefile.am
|   |-- Makefile.in
|   |-- Octagonal_Shape
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addspacedims1.cc
|   |   |-- affinedimension1.cc
|   |   |-- affineimage1.cc
|   |   |-- affineimage2.cc
|   |   |-- affinepreimage1.cc
|   |   |-- affinepreimage2.cc
|   |   |-- ascii_dump_load1.cc
|   |   |-- bhmz05widening1.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- bounds1.cc
|   |   |-- cc76extrapolation1.cc
|   |   |-- cc76narrowing1.cc
|   |   |-- chinainit.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- constrains1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- difference1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- dropsomenonintegerpoints1.cc
|   |   |-- empty1.cc
|   |   |-- expandspacedim1.cc
|   |   |-- foldspacedims1.cc
|   |   |-- frequency1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromgensys1.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- fromspacedim1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffineimage3.cc
|   |   |-- generalizedaffineimage4.cc
|   |   |-- generalizedaffineimage5.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generalizedaffinepreimage3.cc
|   |   |-- generalizedaffinepreimage4.cc
|   |   |-- integerupperboundifexact1.cc
|   |   |-- intersection1.cc
|   |   |-- limitedbhmz05extrapolation1.cc
|   |   |-- limitedcc76extrapolation1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- max_min1.cc
|   |   |-- max_min2.cc
|   |   |-- maxspacedim1.cc
|   |   |-- membytes1.cc
|   |   |-- minconstraints1.cc
|   |   |-- relatwithcons1.cc
|   |   |-- relatwithcons2.cc
|   |   |-- relatwithcons3.cc
|   |   |-- relatwithgen1.cc
|   |   |-- removespacedims1.cc
|   |   |-- run_tests
|   |   |-- simplifyusingcontext1.cc
|   |   |-- timeelapse1.cc
|   |   |-- unconstrain1.cc
|   |   |-- universe1.cc
|   |   |-- upperbound1.cc
|   |   |-- upperboundifexact1.cc
|   |   |-- wrap1.cc
|   |   `-- writeoctagon1.cc
|   |-- PIP_Problem
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- ascii_dump_load1.cc
|   |   |-- exceptions1.cc
|   |   |-- pipproblem1.cc
|   |   |-- pipproblem2.cc
|   |   |-- pipproblem3.cc
|   |   `-- weightwatch1.cc
|   |-- Partially_Reduced_Product
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addcongruences1.cc
|   |   |-- affineimage1.cc
|   |   |-- asciidumpload1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- bounds1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- congruencesproduct1.cc
|   |   |-- constraints1.cc
|   |   |-- constraintsproduct1.cc
|   |   |-- contains1.cc
|   |   |-- difference1.cc
|   |   |-- dimension1.cc
|   |   |-- directproduct1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- dropsomenonintegerpoints1.cc
|   |   |-- equals1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- fromproduct1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- intersection1.cc
|   |   |-- isempty1.cc
|   |   |-- isuniverse1.cc
|   |   |-- maxmin1.cc
|   |   |-- partially_reduced_product_test.hh
|   |   |-- refinewithcongruences1.cc
|   |   |-- refinewithconstraints1.cc
|   |   |-- relations1.cc
|   |   |-- shapepreservingproduct1.cc
|   |   |-- smashproduct1.cc
|   |   |-- spacedims1.cc
|   |   |-- timeelapse1.cc
|   |   |-- topclosed1.cc
|   |   |-- topclosure1.cc
|   |   `-- upperbound1.cc
|   |-- Polyhedron
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addcongruence1.cc
|   |   |-- addcongruences1.cc
|   |   |-- addconstraint1.cc
|   |   |-- addconstraints1.cc
|   |   |-- addconstraints2.cc
|   |   |-- addgenerator1.cc
|   |   |-- addgenerator2.cc
|   |   |-- addgenerators1.cc
|   |   |-- addgenerators2.cc
|   |   |-- addspacedims1.cc
|   |   |-- addspacedims2.cc
|   |   |-- affineimage1.cc
|   |   |-- affineimage2.cc
|   |   |-- affinepreimage1.cc
|   |   |-- affinetrans.cc
|   |   |-- append1.cc
|   |   |-- append2.cc
|   |   |-- ascii_dump_load1.cc
|   |   |-- ascii_dump_load2.cc
|   |   |-- ascii_dump_load3.cc
|   |   |-- bgp99extrapolation1.cc
|   |   |-- bgp99extrapolation2.cc
|   |   |-- bhrz03widening1.cc
|   |   |-- bhrz03widening2.cc
|   |   |-- bhrz03widening3.cc
|   |   |-- bhz03widening1.cc
|   |   |-- bounded1.cc
|   |   |-- boundedaffineimage1.cc
|   |   |-- boundedaffinepreimage1.cc
|   |   |-- boundedbhrz03extrapolation1.cc
|   |   |-- boundedh79extrapolation1.cc
|   |   |-- bounds1.cc
|   |   |-- cnncconversion1.cc
|   |   |-- concatenate1.cc
|   |   |-- congruences1.cc
|   |   |-- constrains1.cc
|   |   |-- constraints1.cc
|   |   |-- contains1.cc
|   |   |-- contains2.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- disjoint1.cc
|   |   |-- disjoint2.cc
|   |   |-- dropsomenonintegerpoints1.cc
|   |   |-- dropsomenonintegerpoints2.cc
|   |   |-- dualhypercubes.cc
|   |   |-- empty1.cc
|   |   |-- equals1.cc
|   |   |-- exceptions1.cc
|   |   |-- exceptions2.cc
|   |   |-- exceptions3.cc
|   |   |-- expandspacedim1.cc
|   |   |-- expandspacedim2.cc
|   |   |-- foldspacedims1.cc
|   |   |-- foldspacedims2.cc
|   |   |-- frequency1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- frombox2.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- generalizedaffineimage1.cc
|   |   |-- generalizedaffineimage2.cc
|   |   |-- generalizedaffinepreimage1.cc
|   |   |-- generalizedaffinepreimage2.cc
|   |   |-- generators1.cc
|   |   |-- geomcovers1.cc
|   |   |-- h79widening1.cc
|   |   |-- h79widening2.cc
|   |   |-- hybrid.cc
|   |   |-- hypercubes.cc
|   |   |-- intersection1.cc
|   |   |-- limitedbhrz03extrapolation1.cc
|   |   |-- limitedh79extrapolation1.cc
|   |   |-- linearexpression1.cc
|   |   |-- linearpartition1.cc
|   |   |-- linearsystem1.cc
|   |   |-- mapspacedims1.cc
|   |   |-- matrix1.cc
|   |   |-- max_min1.cc
|   |   |-- maxspacedim1.cc
|   |   |-- mc91.cc
|   |   |-- membytes1.cc
|   |   |-- memory1.cc
|   |   |-- memory2.cc
|   |   |-- minconstraints1.cc
|   |   |-- minconstraints2.cc
|   |   |-- mingenerators1.cc
|   |   |-- mingenerators2.cc
|   |   |-- nncminimize1.cc
|   |   |-- nncminimize2.cc
|   |   |-- nncpostimeelapse1.cc
|   |   |-- numberinput1.cc
|   |   |-- onepoint.cc
|   |   |-- permute.cc
|   |   |-- polydifference1.cc
|   |   |-- polydifference2.cc
|   |   |-- polyhull1.cc
|   |   |-- polyhull2.cc
|   |   |-- polyhullifexact1.cc
|   |   |-- polyhullifexact2.cc
|   |   |-- randphull1.cc
|   |   |-- refinewithcongruence1.cc
|   |   |-- refinewithcongruences1.cc
|   |   |-- refinewithconstraint1.cc
|   |   |-- refinewithconstraints1.cc
|   |   |-- relations1.cc
|   |   |-- relations2.cc
|   |   |-- relations3.cc
|   |   |-- removespacedims1.cc
|   |   |-- removespacedims2.cc
|   |   |-- simplifyusingcontext1.cc
|   |   |-- simplifyusingcontext2.cc
|   |   |-- smm1.cc
|   |   |-- sparserow1.cc
|   |   |-- termination1.cc
|   |   |-- termination2.cc
|   |   |-- timeelapse1.cc
|   |   |-- timeelapse2.cc
|   |   |-- topclosed1.cc
|   |   |-- topclosure1.cc
|   |   |-- unconstrain1.cc
|   |   |-- universe1.cc
|   |   |-- universe2.cc
|   |   |-- variablesset1.cc
|   |   |-- watchdog1.cc
|   |   |-- weightwatch1.cc
|   |   |-- wrap1.cc
|   |   |-- wrap2.cc
|   |   |-- writeconsys1.cc
|   |   |-- writegensys1.cc
|   |   |-- writepolyhedron1.cc
|   |   |-- writepolyhedron2.cc
|   |   |-- writerelation1.cc
|   |   `-- writevariable1.cc
|   |-- Powerset
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   |-- addcongruences1.cc
|   |   |-- addconstraints1.cc
|   |   |-- affinedimension1.cc
|   |   |-- affineimage1.cc
|   |   |-- affinepreimage1.cc
|   |   |-- bounded1.cc
|   |   |-- bounds1.cc
|   |   |-- closed1.cc
|   |   |-- closure1.cc
|   |   |-- collapse1.cc
|   |   |-- concatenate1.cc
|   |   |-- contains1.cc
|   |   |-- containsintegerpoint1.cc
|   |   |-- difference1.cc
|   |   |-- discrete1.cc
|   |   |-- disjoint1.cc
|   |   |-- disjunct1.cc
|   |   |-- empty1.cc
|   |   |-- entails1.cc
|   |   |-- equals1.cc
|   |   |-- frombdshape1.cc
|   |   |-- frombox1.cc
|   |   |-- fromcongruences1.cc
|   |   |-- fromconstraints1.cc
|   |   |-- fromgrid1.cc
|   |   |-- fromoctagonalshape1.cc
|   |   |-- frompolyhedron1.cc
|   |   |-- fromspacedimension1.cc
|   |   |-- intersection1.cc
|   |   |-- maxmin1.cc
|   |   |-- meet1.cc
|   |   |-- membytes1.cc
|   |   |-- powerset1.cc
|   |   |-- reduce1.cc
|   |   |-- refinewith1.cc
|   |   |-- relationwith1.cc
|   |   |-- simplifyusingcontext1.cc
|   |   |-- size1.cc
|   |   |-- spacedims1.cc
|   |   |-- universe1.cc
|   |   `-- upperbound1.cc
|   |-- README
|   |-- Random_Number_Generator_defs.hh
|   |-- Random_Number_Generator_inlines.hh
|   |-- Random_Number_Generator_types.hh
|   |-- Watchdog
|   |   |-- Makefile.am
|   |   |-- Makefile.in
|   |   `-- watchdog1.cc
|   |-- files.cc
|   |-- files.hh
|   |-- ppl_test.cc
|   |-- ppl_test.hh
|   `-- valgrind_suppressions
`-- utils
    |-- Makefile.am
    |-- Makefile.in
    |-- build_header.in
    |-- cm_cleaner.sh
    |-- cm_splitter.sh
    |-- text2cxxarray.in
    |-- timings.cc
    `-- timings.hh


--------

Copyright (C) 2001-2010 Roberto Bagnara <[email protected]>
Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This document describes the Parma Polyhedra Library (PPL).

Permission is granted to copy, distribute and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.2
or any later version published by the Free Software Foundation;
with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
The license is included, in various formats, in the `doc' subdirectory
of each distribution of the PPL in files named `fdl.*'.

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 3 of the License, or (at your
option) any later version.  The license is included, in various
formats, in the `doc' subdirectory of each distribution of the PPL in
files named `gpl.*'.

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.

If you have not received a copy of one or both the above mentioned
licenses along with the PPL, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://bugseng.com/products/ppl/ .