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

checkin.

[originally from svn r5671]

1 files changed, 6 insertions, 0 deletions

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