Ciao bindings for the PPLThis 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_pplBuilding PPL from source requires the following components: libtool, automake, autoconf, and a C++ compiler such as g++ or clang.