A Sudoku-solving application