chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6235f7f) | patch
Dominosa: new deduction deduce_local_duplicate().
authorSimon Tatham <anakin@pobox.com>
Tue, 2 Apr 2019 20:32:29 +0000 (21:32 +0100)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Apr 2019 22:58:31 +0000 (23:58 +0100)
commit2ec6daee32ad7b2967141aa52ee3327af8055e67
tree45401dafb69b147344aeb06085c53f4361be4b9etree | snapshot
parent6235f7fb3d1fd85c53ac7da9f461a6299c64ad5bcommit | diff
Dominosa: new deduction deduce_local_duplicate().

This is a reasonably simple local deduction I've been using myself for
ages, and feel comfortable adding to the existing Basic difficulty
level.
dominosa.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.