OCaml bindings to Quantor (QBF solver)