PPL OCaml Language Interface 0.12
OCaml Language Interface

The Parma Polyhedra Library comes equipped with an interface for the OCaml language.