A sudoku puzzler solver