Release Notes: This release includes several important bugfixes and performance improvements.
Release Notes: The construction of dynamic libraries is now supported. The integer C++ class of GMP is now used. New methods were added for computing convex difference of polyhedra. Some other new methods were added. Some critical bugs have been fixed. The interface for limited widening was changed. Some performance improvements were made. More test programs were added.