2014-02-07 14:04:08 +01:00
|
|
|
The Parma Polyhedra Library (PPL) is a modern C++ library for the
|
|
|
|
|
manipulation of convex polyhedra. To be more precise, the PPL can handle
|
|
|
|
|
all the convex polyhedra that can be defined as the intersection of a
|
|
|
|
|
finite number of closed hyperspaces, each described by an equality or a
|
|
|
|
|
non-strict inequality with rational coefficients. (More details are
|
|
|
|
|
available on the PPL's internal mechanisms.) The Parma Polyhedra Library
|
|
|
|
|
is:
|
2014-01-09 00:32:27 +01:00
|
|
|
|
|
|
|
|
- user friendly: you write x + 2*y + 5*z <= 7 when you mean it;
|
2014-02-07 14:04:08 +01:00
|
|
|
- fully dynamic: available virtual memory is the only limitation to
|
|
|
|
|
the dimension of anything;
|
2014-01-09 00:32:27 +01:00
|
|
|
- written in standard C++: meant to be portable;
|
2014-02-07 14:04:08 +01:00
|
|
|
- exception-safe: never leaks resources or leaves invalid object
|
|
|
|
|
fragments around;
|
2014-01-09 00:32:27 +01:00
|
|
|
- rather efficient: and we hope to make it even more so;
|
2014-02-07 14:04:08 +01:00
|
|
|
- thoroughly documented: perhaps not literate programming but close
|
|
|
|
|
enough;
|
|
|
|
|
- free software: distributed under the terms of the GNU General
|
|
|
|
|
Public License.
|
2014-01-09 00:32:27 +01:00
|
|
|
|
|
|
|
|
WWW: http://bugseng.com/products/ppl
|
