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
GLS-0.12-1.1 0000100884 98.5 KB over 4 years
ppl-1.2.tar.xz 0014136236 13.5 MB over 3 years
ppl-1.2.tar.xz.sign 0000000287 287 Bytes over 3 years
ppl-testsuite.changes 0000000664 664 Bytes almost 7 years
ppl-testsuite.spec 0000005982 5.84 KB 6 months
ppl.changes 0000006417 6.27 KB 6 months
ppl.keyring 0000007260 7.09 KB almost 7 years
ppl.spec 0000005970 5.83 KB 6 months
pre_checkin.sh 0000000147 147 Bytes over 10 years
Comments for ppl 0