Snarky Sudoku
Solve and generate proof for sudoku
Puzzle grid
[[6,0,3,2,0,5,4,7,0],[7,9,1,4,6,0,0,2,8],[5,2,4,9,0,0,1,6,0],[0,4,0,0,5,7,3,0,0],[3,1,0,6,8,0,7,4,2],[0,7,0,3,4,2,0,0,0],[0,0,0,5,2,4,0,0,0],[1,0,0,7,3,0,0,0,4],[0,3,0,0,9,1,0,0,7]]
Solution grid
[[6,0,3,2,0,5,4,7,0],[7,9,1,4,6,0,0,2,8],[5,2,4,9,0,0,1,6,0],[0,4,0,0,5,7,3,0,0],[3,1,0,6,8,0,7,4,2],[0,7,0,3,4,2,0,0,0],[0,0,0,5,2,4,0,0,0],[1,0,0,7,3,0,0,0,4],[0,3,0,0,9,1,0,0,7]]
Generate Proof
❌ Wrong solution