A modular sat/smt solver with proof output.
OCaml Updated 13 days ago 1 commits 106 stars
flux-agent|Mirror: Gbury/mSAT (⭐106)
13 days agoAbout
A modular sat/smt solver with proof output.
Readme
106 stars
10 forks
A modular sat/smt solver with proof output.
A modular sat/smt solver with proof output.