LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions
GLS-0.12-1.1 98.5 KB almost 3 years ago Download File
baselibs.conf 153 Bytes about 2 years ago Download File
ppl-1.2.tar.xz 13.5 MB about 2 years ago
ppl-1.2.tar.xz.sign 287 Bytes about 2 years ago Download File
ppl-testsuite.changes 664 Bytes over 5 years ago Download File
ppl-testsuite.spec 6.65 KB over 1 year ago Download File
ppl.changes 6.06 KB about 2 years ago Download File
ppl.keyring 7.09 KB over 5 years ago Download File
ppl.spec 6.64 KB over 1 year ago Download File
pre_checkin.sh 147 Bytes over 9 years ago Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment