The Parma Polyhedra Library The Parma Polyhedra Library is a modern C++ library providing numerical abstractions.
Download

The Parma Polyhedra Library Ranking & Summary

The Parma Polyhedra Library Tags

library C++ library mathematic library numerical abstractions Parma Polyhedra

The Parma Polyhedra Library Description

The Parma Polyhedra Library is a modern C++ library providing numerical abstractions. The Parma Polyhedra Library is a modern C++ library providing numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems.The PPL can handle all the convex polyhedra that can be defined as the intersection of a finite number of (open or closed) hyperspaces, each described by an equality or inequality (strict or non-strict) with rational coefficients.The PPL also handles restricted classes of polyhedra that offer interesting complexity/precision tradeoffs. The library also supports finite powersets of (any kind of) polyhedra and linear programming problems solved with an exact-arithmetic version of the simplex algorithm. (More details are available on the PPL's internal mechanisms.)The Parma Polyhedra Library is: user friendly (you write x + 2*y + 5*z What's New in This Release: · Correctly detect GMP 4.3.0. · Fixed the C interface library version information. · Test program tests/Polyhedron/memory1 disabled on the zSeries s390x platform. · Makefiles fixed so as to avoid failure of `make -n check'.

The Parma Polyhedra Library Related Software