pplpy 0.2

Python PPL wrapper

This Python package provides a wrapper to the C++ Parma Polyhedra Library (PPL).

How it works

The names of objects and methods are the same as in the library:

import ppl
x = ppl.Variable(0)
y = ppl.Variable(1)
z = ppl.Variable(2)
cs = ppl.Constraint_System()
cs.insert(x >= 0)
cs.insert(y >= 0)
cs.insert(z >= 0)
cs.insert(x + y + z == 1)
poly = ppl.C_Polyhedron(cs)

Note that in order to compile this package you need the ppl libraries and header files.

Source

Find the latest version on github: https://github.com/videlec/pplpy/

Requirements

• PPL libraries with headers

• Cython