simon-svn: puzzles: simon

Tue Jan 17 18:53:02 GMT 2012

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       9377
Date:           2012-01-17 18:53:02 +0000 (Tue, 17 Jan 2012)

Log message (7 lines):
Fix a bug causing premature defeatism in the Bridges solver. Deducing
a better upper bound on the number of bridges leaving a given island
in a given direction was not counted as having 'done something'; so a
solver run could make several such deductions, but then terminate in
the belief that it hadn't achieved anything, when just going back
round the main solver loop would have enabled it to make further
deductions based on those new bounds.

Modified files:
U   puzzles/bridges.c

Links:
http://svn.tartarus.org/sgt/?rev=9377&view=rev
http://svn.tartarus.org/sgt/puzzles/bridges.c?rev=9377&r1=9376&r2=9377