Parma Polyhedra Library 0.9

Operating systemsOS : Windows / Linux / Mac OS / BSD / Solaris
Program licensingScript Licensing : GPL - GNU Public License
CreatedCreated : Jun 7, 2007
Size downloadDownloads : 2
Program licensing
Thank you for voting...

The Parma Polyhedra Library (PPL) is a modern C ...

The parma_polyhedra_library by Roberto Bagnara (PPL) 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.
The Parma Polyhedra Library 0.9 is:

Parma Polyhedra Library 0.9 scripting tags: polyhedra, library, parma polyhedra library, ppl, convex, convex polyhedra. What is new in Parma Polyhedra Library 0.9 software script? - Unable to find Parma Polyhedra Library 0.9 news. What is improvements are expecting? Newly-made Parma Polyhedra Library 0.10 will be downloaded from here. You may download directly. Please write the reviews of the Parma Polyhedra Library. License limitations are unspecified.