A Tool for Solving Sudokus with SAT
Sudoku
Generate new sudoku
Solve sudoku
Erase sudoku
SAT Solution
{{satSolution[i][j]}}
SAT Solver's Input
SAT Solver's Output