20 lines
1001 B
Plaintext
20 lines
1001 B
Plaintext
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:
|
|
|
|
- user friendly: you write x + 2*y + 5*z <= 7 when you mean it;
|
|
- fully dynamic: available virtual memory is the only limitation to the
|
|
dimension of anything;
|
|
- written in standard C++: meant to be portable;
|
|
- exception-safe: never leaks resources or leaves invalid object fragments
|
|
around;
|
|
- rather efficient: and we hope to make it even more so;
|
|
- thoroughly documented: perhaps not literate programming but close enough;
|
|
- free software: distributed under the terms of the GNU General Public
|
|
License.
|
|
|
|
WWW: http://www.cs.unipr.it/ppl/
|