/SAT_Solver___Sudoku

SAT Solver based on DPLL algorithm and Jersolow-Wang 2-sided heuristic. Sudoku Pair Solver and Generator using SAT Solver.

Primary LanguagePythonMIT LicenseMIT

Stargazers