Math Insight

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

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

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

Food for Thought