Math Insight

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

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

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

Food for Thought