Download List

Project Description

The Parma Polyhedra Library is user friendly, fully dynamic, written in standard C++, exception-safe, efficient, and thoroughly documented.
Information regarding Project Releases and Project Resources. Note that the information here is a quote from page, and the downloads themselves may not be hosted on OSDN.

2012-02-28 10:49

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.
Tags: Major feature enhancements.

2011-02-28 03:39

This release fixes a few minor bugs in PPL 0.11.1.
Tags: Minor bugfixes

2009-04-19 06:24

This release fixes a few bugs affecting PPL 0.10.1.
Tags: Minor bugfixes

2009-04-14 23:42

This release includes several important improvements to PPL 0.10, among which is better portability (including the support for cross-compilation), increased robustness, better packaging, and several

2008-11-05 03:25

This release (which is under the terms of the GPLv3+) includes complete support for "octagonal shapes" (solution of a finite system of constraints such as 'x + y <= 3' and 'x - y <= 5') and "boxes", which may be viewed as the product of not necessarily closed and possibly unbounded intervals. This release comes with fully documented interfaces to C++, C, Java, OCaml, Ciao Prolog, GNU Prolog, SICStus, SWI-Prolog, XSB, and YAP (Java and OCaml are new). It also includes improvements to the documentation, many new configuration options, and a few bugfixes.
Tags: Major feature enhancements

Project Resources