/SAT-Sudoku-solver

A SAT-based sudoku solver

Primary LanguagePython

Stargazers