A constraint satisfaction problem solver that solves sudoku puzzles