2 ms·Sudoku and the way of the SAT solver7 points by ash 17y agoash 17y agoCompare with http://norvig.com/sudoku.html http://norvig.com/sudoku.html