A complete SAT solver implemented on few lines of C++ code. (A C++ version of https://github.com/maxtuno/quark_sat)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool