smtml
by formalsec
OCamlpushed almost 2 years ago
A frontend for multiple SMT solvers in OCaml
AI summary
SMT solver interface
Provides a unified interface to multiple SMT solvers in OCaml
- stars
- 28
- forks
- 8
- watching
- 7
by formalsec
A frontend for multiple SMT solvers in OCaml
AI summary
SMT solver interface
Provides a unified interface to multiple SMT solvers in OCaml