Projects / The Parma Polyhedra Library

The Parma Polyhedra Library

The Parma Polyhedra Library is user friendly, fully dynamic, written in standard C++, exception-safe, efficient, and thoroughly documented.

Tags
Licenses
Implementation

Recent releases

  •  29 Oct 2013 13:32

    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.

    •  28 Jun 2012 21:06

      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.

      •  16 Apr 2012 20:20

        Release Notes: This release includes portability improvements, a couple of new minor features, some interface changes, and an important bugfix concerning the PIP solver.

        •  27 Feb 2012 21:34

          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.

          •  27 Feb 2011 16:11

            Release Notes: This release fixes a few minor bugs in PPL 0.11.1.

            Screenshot

            Project Spotlight

            OpenStack4j

            A Fluent OpenStack client API for Java.

            Screenshot

            Project Spotlight

            TurnKey TWiki Appliance

            A TWiki appliance that is easy to use and lightweight.