From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
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: https://git.distorted.org.uk/~mdw/sgt/puzzles/commitdiff_plain/351c6261eaca09572ad01a318fb33d0bdb5c8bd7

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


git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5671 cda61777-01e9-0310-a592-d414129be87e
---

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.
  */
 
 /*