A SAT solver with Qt GUI, with binary puzzle solving function.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool