chiark / gitweb /
Now that Map has some seriously complex deductions, it's about time
authorSimon Tatham <anakin@pobox.com>
Wed, 31 Aug 2005 12:17:01 +0000 (12:17 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 31 Aug 2005 12:17:01 +0000 (12:17 +0000)
commitf2ff444fca4da3f63fe0473fc660bb3a5429c2bc
treefd39dba16ef8353c83f2b15f503bdf4813e9cbe0
parent121f664b628c4c1d434cad6950526e5dd469f5ea
Now that Map has some seriously complex deductions, it's about time
it had a command-line solver. In order to do this, I've had to
expose the internal region numbering because the solver has to have
some way to state which region it means; and in any case it's also
useful to have human-visible region numbering so that two people can
discuss a puzzle they're solving together. So pressing L during play
now toggles the display of region numbers; and `mapsolver' uses
those same numbers when showing its working and its solutions.

[originally from svn r6244]
Recipe
map.c
puzzles.but