The Parma Polyhedra Library

The Parma Polyhedra Library (PPL) is a library for the manipulation of
(not necessarily closed) convex polyhedra and other numerical
abstractions. The applications of convex polyhedra include program
analysis, optimized compilation, integer and combinatorial optimization
and statistical data-editing. The Parma Polyhedra Library comes with
several user friendly interfaces, is fully dynamic (available virtual
memory is the only limitation to the dimension of anything), written in
accordance to all the applicable standards, exception-safe, rather
efficient, thoroughly documented, and free software. This package
provides all what is necessary to run applications using the PPL
through its C and C++ interfaces.

Refresh
Refresh
Source Files
Filename Size Changed Actions
baselibs.conf 0000000194 194 Bytes about 9 years
ppl-0.11.tar.bz2 0011340896 10.8 MB over 9 years
ppl-testsuite.changes 0000000320 320 Bytes over 10 years
ppl-testsuite.spec 0000006463 6.31 KB about 9 years
ppl.changes 0000002420 2.36 KB about 9 years
ppl.spec 0000006443 6.29 KB about 9 years
pre_checkin.sh 0000000147 147 Bytes over 10 years
Comments for ppl 0