~mdw / sgt / puzzles / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7dfe3b1) | patch
A bunch of new reasoning techniques in the Slant solver, leading to
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 6 Aug 2005 10:24:52 +0000 (10:24 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 6 Aug 2005 10:24:52 +0000 (10:24 +0000)
commitb926ba0069491b380ce3b0c350f322405e0f6b73
tree771224f9472a7755025929be51b3986f6b50a6d0tree | snapshot (tar.gz zip)
parent7dfe3b1f1f74b72acc13dd0f4c8ebb3e6f5162accommit | diff
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.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6167 cda61777-01e9-0310-a592-d414129be87e
Recipe diff | blob | blame | history
slant.c diff | blob | blame | history
Simon Tatham's portable puzzles collection; import of svn://svn.tartarus.org/sgt/puzzles