A deductive Sudoku solver.