smtml
SMT solver interface
Provides a unified interface to multiple SMT solvers in OCaml
A frontend for multiple SMT solvers in OCaml
27 stars
7 watching
7 forks
Language: OCaml
last commit: 15 days ago alt-ergobitwuzlacolibri2cvc5ocamlsmtsmt-libsymbolic-executionwebassemblyz3