Sudoku Solver (Z3 WASM)
How to use:
Click a cell and enter a number from 1 to 9
Click "Load Example" to try a sample puzzle
Click "Solve" button to automatically find the solution
Load Example
Solve
Clear