Now that Map has some seriously complex deductions, it's about time
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 31 Aug 2005 12:17:01 +0000 (12:17 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 31 Aug 2005 12:17:01 +0000 (12:17 +0000)
commite857e16127dce5a9334836a52b39b54aee7cd408
treefd39dba16ef8353c83f2b15f503bdf4813e9cbe0
parent1cdd13069c06119576d1fa75782ca191505d5da4
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.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6244 cda61777-01e9-0310-a592-d414129be87e
Recipe
map.c
puzzles.but