/SAToku

Solving sudoku grids with SAT solver Gophersat

Primary LanguagePython

Watchers