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:
autoconf, and a C++ compiler such as