OCaml library to interact with external solvers via SMT2 and some tools
Primary LanguageOCaml
No issues in this repository yet.