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