- Code: Select all
 *-----------*
|...|.2.|...|
|..1|6..|38.|
|..9|..8|6.1|
|---+---+---|
|3..|.7.|..8|
|...|9.5|7..|
|9..|.1.|..4|
|---+---+---|
|8.4|7..|9..|
|.67|..9|8..|
|...|.4.|...|
*-----------*
 *-----------*
 |...|.2.|...|
 |..1|6..|38.|
 |..9|..8|6.1|
 |---+---+---|
 |3..|.7.|..8|
 |...|9.5|7..|
 |9..|.1.|..4|
 |---+---+---|
 |8.4|7..|9..|
 |.67|..9|8..|
 |...|.4.|...|
 *-----------*
 567     8       356    | 135    2      137    | 4      57     9      
 2457    245     1      | 6      9      47     | 3      8      257    
 2457    2345    9      |b45    a35     8      | 6      257    1      
------------------------+----------------------+---------------------
 3      e125     256    |c24     7      246    |d12     9      8      
 1246    124     26     | 9      8      5      | 7      13     236    
 9       7       8      | 23     1      236    | 25     256    4      
------------------------+----------------------+---------------------
 8      f1235    4      | 7      6      12     | 9      13    h235    
 12      6       7      | 125    5-3    9      | 8      4     j23     
 125     9       235    | 8      4      123    |i125    67     67     
***********************************************************************************************
***  SudoRules 20.1.s based on CSP-Rules 2.1.s, config = 
***  Using CLIPS 6.32-r779
***  download from: https://github.com/denis-berthier/CSP-Rules-V2.1
***********************************************************************************************
12 singles
145 candidates, 665 csp-links and 665 links. Density = 6.37%
whip[1]: r5n3{c9 .} ==> r6c8 ≠ 3
whip[1]: r6n5{c8 .} ==> r4c7 ≠ 5
whip[1]: r5n4{c2 .} ==> r4c2 ≠ 4
whip[1]: b8n5{r8c5 .} ==> r8c9 ≠ 5, r8c1 ≠ 5
hidden-pairs-in-a-row: r9{n6 n7}{c8 c9} ==> r9c9 ≠ 5, r9c9 ≠ 3, r9c9 ≠ 2, r9c8 ≠ 5, r9c8 ≠ 3, r9c8 ≠ 2, r9c8 ≠ 1
hidden-pairs-in-a-column: c8{n1 n3}{r5 r7} ==> r7c8 ≠ 5, r7c8 ≠ 2, r5c8 ≠ 6, r5c8 ≠ 2   567       8         356       135       2         137       4         57        9         
   2457      245       1         6         9         47        3         8         257       
   2457      2345      9         345       35        8         6         257       1         
   3         125       256       24        7         246       12        9         8         
   1246      124       26        9         8         5         7         13        236       
   9         7         8         23        1         236       25        256       4         
   8         1235      4         7         6         123       9         13        235       
   12        6         7         1235      35        9         8         4         23        
   125       9         235       8         4         123       125       67        67        finned-x-wing-in-rows: n5{r7 r2}{c9 c2} ==> r3c2 ≠ 5
finned-x-wing-in-columns: n1{c8 c2}{r7 r5} ==> r5c1 ≠ 1
whip[1]: c1n1{r9 .} ==> r7c2 ≠ 1
finned-x-wing-in-columns: n3{c2 c5}{r3 r7} ==> r7c6 ≠ 3
swordfish-in-rows: n3{r1 r6 r9}{c3 c4 c6} ==> r8c4 ≠ 3, r3c4 ≠ 3
biv-chain-rc[3]: r8c9{n2 n3} - r7c8{n3 n1} - r7c6{n1 n2} ==> r7c9 ≠ 2, r8c4 ≠ 2
whip[1]: b8n2{r9c6 .} ==> r4c6 ≠ 2, r6c6 ≠ 2
finned-x-wing-in-rows: n2{r8 r2}{c9 c1} ==> r3c1 ≠ 2   567       8         356       135       2         137       4         57        9         
   2457      245       1         6         9         47        3         8         257       
   457       234       9         45        35        8         6         257       1         
   3         125       256       24        7         46        12        9         8         
   246       124       26        9         8         5         7         13        236       
   9         7         8         23        1         36        25        256       4         
   8         235       4         7         6         12        9         13        35       
   12        6         7         15        35        9         8         4         23        
   125       9         235       8         4         123       125       67        67        biv-chain-rn[3]: r8n2{c1 c9} - r8n3{c9 c5} - r9n3{c6 c3} ==> r9c3 ≠ 2
whip[1]: c3n2{r5 .} ==> r4c2 ≠ 2, r5c1 ≠ 2, r5c2 ≠ 2
biv-chain[3]: r3c5{n3 n5} - b8n5{r8c5 r8c4} - c4n1{r8 r1} ==> r1c4 ≠ 3
stte *-------------------------------------------------------------*
 | 567   8    c356   |bc135    2    b137   | 4     57    9     |
 | 2457  245   1     |  6      9     47    | 3     8     257   |
 | 2457 h2345  9     |ai4-35 ai35    8     | 6     257   1     |
 *-------------------+---------------------+-------------------|
 | 3     125   256   |  24     7     246   | 12    9     8     |
 | 1246  124   26    |  9      8     5     | 7     13    236   |
 | 9     7     8     |  23     1     236   | 25    256   4     |
 *-------------------+---------------------+-------------------|
 | 8    g1235  4     |  7      6    f123   | 9    f13    235   |
 | 12    6     7     |de1235  e35    9     | 8     4     23    |
 | 125   9    d235   |  8      4    e123   | 125   67    67    |
 *-------------------------------------------------------------*
 +----------------------+--------------------+--------------------+
 |  567    8     h356   | g135    2  ga13-7  |  4     57    9     | 
 |  2457   245    1     |  6      9    47    |  3     8     257   | 
 |  2457  G2345   9     |  345    35   8     |  6     257   1     | 
 +----------------------+--------------------+--------------------+
 |  3      125    256   |  24     7    246   |  12    9     8     | 
 |  1246   124    26    |  9      8    5     |  7     13    236   | 
 |  9      7      8     |  23     1    236   |  25    256   4     | 
 +----------------------+--------------------+--------------------+
 |  8     F1235   4     |  7      6   D123   |  9    E13    235   | 
 |  12     6      7     |  1235   35   9     |  8     4     23    | 
 |  125    9     B235   |  8      4   C123   |  125   67    67    | 
 +----------------------+--------------------+--------------------+Cenoman wrote:
- Code: Select all
 +----------------------+--------------------+--------------------+
| 567 8 h356 | g135 2 ga13-7 | 4 57 9 |
| 2457 245 1 | 6 9 47 | 3 8 257 |
| 2457 G2345 9 | 345 35 8 | 6 257 1 |
+----------------------+--------------------+--------------------+
| 3 125 256 | 24 7 246 | 12 9 8 |
| 1246 124 26 | 9 8 5 | 7 13 236 |
| 9 7 8 | 23 1 236 | 25 256 4 |
+----------------------+--------------------+--------------------+
| 8 F1235 4 | 7 6 D123 | 9 E13 235 |
| 12 6 7 | 1235 35 9 | 8 4 23 |
| 125 9 B235 | 8 4 C123 | 125 67 67 |
+----------------------+--------------------+--------------------+
(1)r1c6 = [(3)r9c3 = (3-1)r9c6 *=* r7c6 - (1=3)r7c8 - r7c2 = (3)r3c2] - (3)r1c3 = (31)r1c46 => -7 r1c6; ste