Python interface to PPL -- documentation

 A Python interface to the C++ Parma Polyhedra Library (PPL),
 which allows computations with polyhedra and grids, like mixed
 integer linear programming.
 .
 This is the common documentation package.