5. The sudosolver.py module: Puzzle-solving logic
This module contains the SudokuSolver class that encapsulates
the logic for solving the puzzle.
Each module's semantics are described by an intended function. Intended function
notation is a core principle of the Cleanroom
methodology.
The sudosolver.py module starts with a nominal documentation
string that points back to this documentation.
sudosolver.py
"""sudosolver.py: Sudoku puzzle solver
For documentation, see:
http://www.nmt.edu/tcc/help/lang/python/examples/sudoku/
"""