Next / Previous / Contents / TCC Help System / NM Tech homepage

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.

5.1. Prologue

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/
"""