Zero Install Mirror

» Main » PPL

PPL - provides numerical abstractions

This feed is no longer available upstream. It is recorded here for historical interest only.

Published by Simon E. Silva Lauinger


This is a Zero Install feed. This software cannot be run as an application directly. It is a library for other programs to use.

For more information about Zero Install, see

Full name


The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. These abstractions include convex polyhedra, defined as the intersection of a finite number of (open or closed) halfspaces, each described by a linear inequality (strict or non-strict) with rational coefficients; some special classes of polyhedra shapes that offer interesting complexity/precision tradeoffs; and grids which represent regularly spaced points that satisfy a set of linear congruence relations. The library also supports finite powersets and products of (any kind of) polyhedra and grids and a mixed integer linear programming problem solver using an exact-arithmetic version of the simplex algorithm.


Available versions

The list below is just for information; Zero Install will automatically select one of these versions for you.

0.10.22009-04-18Source codeDownload (9820135 bytes)
Required libraries

The list below is just for information; Zero Install will automatically download any required libraries for you.