Source Package pplite

Subpackages

• pplite - Convex polyhedra library for abstract interpretation
• pplite-devel - Development files for PPLite
• pplite-tools - Command line tools to use PPLite functionality