Man Pages in libppl-dev

Section 3: Library calls

libppl.3

The c++ interface of the parma polyhedra library

libppl_c.3

The c interface of the parma polyhedra library