The Parma Polyhedra Library is user friendly, fully dynamic, written in standard C++, exception-safe, efficient, and thoroughly documented.
Release Notes: This release includes support for "positive time elapse," a new operator on polyhedra, improvements to the Java interface, several portability improvements, and a few bug fixes.
Release Notes: This release includes support for the optimized representation of sparse vectors of coefficients, achieving significant performance improvements (e.g., when dealing with constraint systems describing weakly relational abstractions such as boxes and octagonal shapes). A generic interface allows seamless interaction between the dense and sparse row representations. Users can easily customize the default representation for library entities, to tailor the library to their special needs. The release also includes a couple of bugfixes.
Release Notes: This release includes portability improvements, a couple of new minor features, some interface changes, and an important bugfix concerning the PIP solver.
Release Notes: This release includes portability improvements, a few bugfixes, and performance improvements for the MIP and PIP solvers. Configurability has also been improved, especially as far as the detection of GMP is concerned. ECLAIR has been introduced into the development workflow to bring PPL into conformance with the applicable rules in MISRA, CERT, NASA/JPL, ESA/BSSC, and other widely-used coding standards.
Release Notes: This release fixes a few minor bugs in PPL 0.11.1.