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: 2 months ago alt-ergobitwuzlacolibri2cvc5ocamlsmtsmt-libsymbolic-executionwebassemblyz3