[All bundles]


Source: repository

Ciao bindings for the PPL

This bundle implements the Ciao bindings for the Parma Polyhedra Library.

NOTE: The directory lib/ppl/X_X/ contains a set of glue code files automatically generated by PPL X.X. Some of these files are copyrighted by PPL's authors and distributed under the GPL license.

Usage (this will install third-party code if missing):

$ ciao get ciao_ppl
Building PPL from source requires the following components: libtool, automake, autoconf, and a C++ compiler such as g++ or clang.