Version 0.6.1 of the Parma Polyhedra Library is now available, described as "a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
Archive Notice: This content is archived, and commenting is no longer active.
It is here for reference purposes. This content was added on an older version of
flipcode, before the site closed in 2005.