kkck: A solver for Kriss Kross puzzles

The balance of this document is the actual code for kkck, in lightweight literate programming form. The code is also an example of the author's style of Cleanroom software development. In particular, the comments in [ square brackets ] are Cleanroom intended functions that describe the semantics of the code in a semi-algebraic notation.

The code starts with a line to make it self-executing on Unix systems, followed by a pointer back to this documentation.

#!/usr/bin/env python
#================================================================
# kkck: A solver for Kriss Kross puzzles.  For documentation, see
#   http://www.nmt.edu/tcc/help/lang/python/examples/kkck/kkck.html
#================================================================
PROGRAM_NAME = "kkck"
EXTERNAL_VERSION = "0.0"
VERBOSE = False        # For logorrheic output