sdesc: "Parma Polyhedra Library (utilities)" 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: Libs Math requires: libppl libgmp10 libgmpxx4 libstdc++6 cygwin