smtml
SMT solver interface
Provides a unified interface to multiple SMT solvers in OCaml
A frontend for multiple SMT solvers in OCaml
28 stars
7 watching
8 forks
Language: OCaml
last commit: about 1 month ago alt-ergobitwuzlacolibri2cvc5ocamlsmtsmt-libsymbolic-executionwebassemblyz3