https://github.com/smtcoq/smtcoq
OCaml145
6 months ago
Communication between Coq and SAT/SMT solvers
Other