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.
Cette version inclut des améliorations de la portabilité, quelques corrections de bogues et améliorations de performances pour les solutionneurs de MIP et de PIP. Configurabilité a également été améliorée, particulier concerne la détection de GMP est. ECLAIR a été introduit dans le workflow de développement pour mettre PPL en conformité avec les règles applicables en MISRA, CERT, NASA/JPL, ESA/acheteur et autres normes de codage largement utilisé.
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.
Cette version inclut plusieurs améliorations importantes à 0,10 PPL, parmi lesquels une meilleure portabilité (y compris le soutien pour la cross-compilation), la robustesse accrue, un meilleur conditionnement, et plusieurs corrections de bugs.
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.
Cette version (qui est sous les termes de la GPLv3 +) inclut un support complet pour "les formes octogonales» (solution d'un système fini de contraintes telles que 'x + y <= 3' et 'x - y <= 5') et " cases », qui mai être considéré comme le résultat non nécessairement fermé et peut-être sans bornes des intervalles. Cette version intègre des interfaces entièrement documentée au C + +, C, Java, OCaml, Prolog Ciao, GNU Prolog, SICStus, SWI-Prolog, XSB et Yap (Java et OCaml sont nouveaux). Il inclut également des améliorations à la documentation, de nombreuses nouvelles options de configuration, et quelques corrections de bugs.
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.
