simon-svn: puzzles: simon

tartarus-commits at lists.tartarus.org tartarus-commits at lists.tartarus.org
Sat Aug 6 11:24:53 BST 2005


SVN root:       svn://ixion.tartarus.org/main
Changes by:     simon
Revision:       6167
Date:           2005-08-06 11:24:52 +0100 (Sat, 06 Aug 2005)

Log message (3 lines):
A bunch of new reasoning techniques in the Slant solver, leading to
a new Hard mode. Also added a command-line `slantsolver' which can
grade puzzles and show working.

Modified files:
_U  puzzles/
U   puzzles/Recipe
U   puzzles/slant.c

Links:
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi?rev=6167&view=rev
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/Recipe?rev=6167&r1=6166&r2=6167
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/slant.c?rev=6167&r1=6166&r2=6167



More information about the tartarus-commits mailing list