PPL OCaml Language Interface  1.2
OCaml Language Interface

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