Creating a local-search-based CNF-SAT solver to solve standard 9x9 Sudoku problems.
Primary LanguageC++