Math Insight

SAT solvers — used in chip design verification — can crack any Sudoku puzzle in milliseconds.

Math Insight
✓ Completed! 👍
9
3
4
8
6
7
1
7
2
9
7
8
4
6
9
2
8
3
4
1
4
3
9
3
8
6
4
2
4
7
3
2
5
1
7
5
2
4
9
9
3
4
5
8
6
Food for Thought

"Man is the measure of all things." — Protagoras

Food for Thought