A SAT solver with Qt GUI, with binary puzzle solving function.
Primary LanguageC++
No issues in this repository yet.