This is library provides functions for interacting with an SMT solver, using the SMTLIB language. The interface to the library is available here: https://galoisinc.github.io/simple-smt-ocaml/simple_smt/Simple_smt/index.html