The Parma Polyhedra Library is user friendly, fully dynamic, written in standard C++, exception-safe, efficient, and thoroughly documented.