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
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