Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.
Diese Version enthält Portabilität Verbesserungen, ein paar Bugfixes und Performance-Verbesserungen für die MIP und PIP-Löser. Konfigurierbarkeit wurde auch verbessert, vor allem, was die Erkennung von GMP angeht. ECLAIR wurde eingeführt, in der Entwicklungsworkflow PPL in Übereinstimmung mit den geltenden Vorschriften in MISRA, CERT, NASA/JPL, ESA/BSSC und andere weit verbreitete coding-Standards zu bringen.
Tags:
Major feature enhancements.
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.
Dieses Release enthält einige wichtige Verbesserungen PPL 0.10, unter denen sich eine bessere Portabilität (einschließlich der Unterstützung von Cross-Kompilierung), erhöhte Robustheit, bessere Verpackung und diverse Bugfixes.
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.
Diese Version (die unter den Bedingungen der GPLv3 +) enthält eine vollständige Unterstützung für "achteckige Formen" (Lösung eines endlichen System von Beschränkungen, wie etwa "x + y <= 3 'und' x - y <= 5 ') und" Boxen ", die als das Ergebnis nicht unbedingt geschlossen und möglicherweise unbeschränkte Intervalle betrachtet werden können. Diese Version kommt mit vollständig dokumentierten Schnittstellen zu C + +, C, Java, OCaml, Ciao Prolog, GNU Prolog, SICStus, SWI-Prolog, XSB und YAP (Java und OCaml sind neu). Es enthält auch Verbesserungen an der Dokumentation, viele neue Konfigurations-Optionen, und ein paar Bugfixes.
Tags:
Major feature enhancements
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.
