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.
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.