Source Package ppl

Subpackages

• ppl - The Parma Polyhedra Library: a library of numerical abstractions
• ppl-devel - Development tools for the Parma Polyhedra Library C and C++ interfaces
• ppl-docs - Documentation for the Parma Polyhedra Library
• ppl-gprolog - The GNU Prolog interface of the Parma Polyhedra Library
• ppl-gprolog-static - The static archive for the GNU Prolog interface of the Parma Polyhedra Library
• ppl-static - Static archives for the Parma Polyhedra Library C and C++ interfaces
• ppl-swiprolog - The SWI-Prolog interface of the Parma Polyhedra Library
• ppl-utils - Utilities using the Parma Polyhedra Library
• ppl-java - The Java interface of the Parma Polyhedra Library
• ppl-java-javadoc - Javadocs for ppl-java