[research] A modular SMT solver in OCaml, based on mcSAT
Home Page:https://c-cube.github.io/mc2/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool