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 hat einige neue Features, die beiden Hauptprioritäten wird begrenzt Unterschied Formen (die einfach sind konvexe Polyeder, aber effiziente Bereitstellung von groben zu berechnen Näherungen für große Probleme Analyse) und eine neue Klasse für die Darstellung und Lösung linearer Optimierungsprobleme. Zu den weiteren Verbesserungen gehören ein neues Konfigurations-Programm und Autoconf Funktion machen Bibliothek Nutzung noch einfacher, mehrere neue Maßnahmen sinnvoll für statische Analysatoren, neue Methoden für die Ausgabe Debuggen von Anwendungen, die Benutzung der Bibliothek, Schnittstellen Verbesserungen an der C-und Prolog, und eine Handvoll Bugfixes.
Tags:
Major feature enhancements
This release has several new features, the two key ones being bounded difference shapes (which are simple convex polyhedra providing coarse but efficient-to-compute approximations for large analysis problems) and a new class for representing and solving linear programming problems. Other improvements include a new configuration program and Autoconf function making library usage even easier, several new operations useful for static analyzers, new output methods for debugging applications using the library, improvements to the C and Prolog interfaces, and a handful of bugfixes.
