SuDoku is a small Sudoku puzzle generator and solver. The puzzle size can be 4x4, 9x9 (the default) or 16x16.
The solutions are found by converting the puzzle into a satisfiability problem, and this is displayed using the competition format.
This is solved using the sat4j package and the solution model is also displayed. It is possible to copy the satisfiability problem and paste it into a text editor to be solved by your own satisfiability solver, and if the solution is pasted into the tool it can be interpreted as a solution to the SuDoku puzzle - see the "cnf" tab.
Here are some key features of "SuDoku":
· Generate puzzles
· Enter puzzles by hand
· Copy/paste puzzles from most standard formats. As an unsigned applet does not have direct access to the clipboard, first paste a puzzle into the "Paste area" and then choose Edit/Paste puzzle.
· Protect entered values from accidental overwriting
· Solve the puzzle manually and check the solution
· Solve the puzzle automatically
