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.