chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c321a88) | patch
A bunch of new reasoning techniques in the Slant solver, leading to
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Aug 2005 10:24:52 +0000 (10:24 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Aug 2005 10:24:52 +0000 (10:24 +0000)
commit8392232d57b4d1aba82b8005813d39854e8cf74e
tree771224f9472a7755025929be51b3986f6b50a6d0tree | snapshot
parentc321a88408c4541160c66151210bd048761ae392commit | 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.

[originally from svn r6167]
Recipe diff | blob | history
slant.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.