simon-svn: puzzles: simon

[tartarus-commits at lists.tartarus.org]

SVN root:       svn://ixion.tartarus.org/main
Changes by:     simon
Revision:       5682
Date:           2005-04-26 12:19:00 +0100 (Tue, 26 Apr 2005)

Log message (8 lines):
Implement the remaining modes of reasoning in nsolve, and thus
enable configurable puzzle difficulty. I'm only generating grids up
to Times level (complicated non-recursive analysis but guessing
never required); I wouldn't object to providing a Telegraph
difficulty level (guessing required) but it turns out to be very
hard indeed to generate at random. I might still add it later
(probably under the name `Unreasonable' :-) if I can think of an
efficient way to find them.

Modified files:
U   puzzles/puzzles.but
U   puzzles/solo.c

Links:
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi?rev=5682&view=rev
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/puzzles.but?rev=5682&r1=5681&r2=5682
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/solo.c?rev=5682&r1=5681&r2=5682