Develop and Download Open Source Software

The Parma Polyhedra Library

Project Release infomations and Project Resources. Note that these informations are from this projects Freecode.com page and the downloads themselves may not be hosted with SourceForge.JP.

Project Release Information

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.
2011-02-28 03:39
This release fixes a few minor bugs in PPL 0.11.1.
2009-04-19 06:24
This release fixes a few bugs affecting PPL 0.10.1.
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
bugfixes.
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.

Project Resources

http://freecode.com/urls/5eeebccd457370da523f5f4ae0df070f
http://freecode.com/urls/985bb47e6bd59872cb8e2a5f1525f59b
http://freecode.com/urls/0d68af544fe0d2f3a0e86ea93f6283a2
http://freecode.com/urls/103b5b188e7918864476ba8cebfa32f1
http://freecode.com/urls/573021c6388d39385d9226a73b049051
http://freecode.com/urls/f9c270cea7a3b2d2fbeec77eea12054f
http://freecode.com/projects/ppl

Project Description

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

(This Description is auto-translated)