c-cube / mc2

[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

c-cube/mc2 Stargazers