OCaml bindings to MathSAT solver