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

[sgt-puzzles.git] / solo.c

diff --git a/solo.c b/solo.c
index b09d8e279a46a0b982b5db229a4ca22d23ca5a34..480bb2b087d72c839e6fec4c1182fb20de58dd09 100644 (file)
--- 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.
  */
 
 /*