/SATSolver

SAT-based Sudoku solver, written in Python.

Primary LanguageC

Issues