A backtracking behaviour for solving discrete computational problems

Represents, updates, and verifies Sudoku puzzles