OCaml bindings for CVC4