- 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