A simple OCaml API for building/parsing SMTLIB2 expressions and interacting with SMT solvers.
Based on ocaml-z3.