sdesc: "Parma Polyhedra Library (documentation)" ldesc: "This is the release 1.0 of the Parma Polyhedra Library: a C++ library for (not necessarily closed) convex polyhedra and other numerical abstractions." category: Doc Math requires: cygwin