Package ppl

• ppl-config(1) — obtain information about an installation of the Parma Polyhedra Library