From: Simon Tatham <anakin@pobox.com>
Date: Mon, 25 Apr 2005 14:17:14 +0000 (+0000)
Subject: Oops; _actually_ add the reasoning mode I mentioned in the last
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=0fffbf32dbe92d370df36745a165f4065629e5fb;hp=a163926ed5b74c23211ccd4b3f3e58401d8f720b;p=sgt-puzzles.git

Oops; _actually_ add the reasoning mode I mentioned in the last
checkin.

[originally from svn r5671]
---

diff --git a/solo.c b/solo.c
index b09d8e2..480bb2b 100644
--- a/solo.c
+++ b/solo.c
@@ -567,6 +567,12 @@ static int rsolve(int c, int r, digit *grid, random_state *rs, int max)
  *    subset: the numbers 1, 2 and 3 _must_ be in those three
  *    squares in some permutation, and hence we can deduce none of
  *    them can be in the fourth or fifth squares.)
+ * 
+ *  - Setwise positional elimination: if there is a subset of the
+ *    unplaced numbers within a domain such that the union of all
+ *    their possible positions has the same size as the subset
+ *    itself, then all other numbers can be ruled out for those
+ *    positions.
  */
 
 /*