Ocaml library for smtsolvers