Release Notes: This is a maintenance release that solves all known bugs and glitches in 2.0. Among other improvements, it delivers a new Delphi wrapper. It is fully backwards compatible with 2.0. Upgrading is highly encouraged.
A tool that counts the number of integer points in parametric polytopes.
An innovative NoSQL database.