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: New features in this release include support for Parametric Integer Programming problems, "deterministic" timeout computation facilities, support for termination analysis via the automatic synthesis of linear ranking functions, and support for approximating computations involving (bounded) machine integers. This release includes several other enhancements, speed improvements, and some bugfixes.