smtml in ocaml-community/awesome-ocaml

A frontend for multiple SMT solvers in OCaml

created at March 23, 2023, 4:44 p.m.

OCaml

7 +0

27 +0

8 +1

GitHub
Most stars Fewest stars Most forks Fewest forks Most watchers Fewest watchers Recently created Least recently created Recently updated Least recently updated Most repositories Fewest repositories
All languages 1 OCaml 1