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 ist mit neuen Funktionen: ein extrem pecise Erweiterung Betreiber, die Unterstützung für den neuen "Erweiterung mit Token"-Technik, erweitert einige neue Operationen auf Polyedern, C und Prolog-Schnittstellen, viele Effizienz, Benutzerfreundlichkeit, Tragbarkeit und Verbesserungen, sowie eine Reihe von Bug-Fixes.
Tags:
Major feature enhancements
This release is packed with new features: an extremely pecise widening operator, support for the new "widening with tokens" technique, several new operations on polyhedra, extended C and Prolog interfaces, many efficiency, usability, and portability improvements, plus a number of bug fixes.