Next / Previous / Contents / Shipman's homepage

5. The sudosolver 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.