by denis_berthier » Thu Nov 26, 2020 9:25 am
With fishes:
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = SFin
*** Using CLIPS 6.32-r773
***********************************************************************************************
9 singles
158 candidates, 794 csp-links and 794 links. Density = 6.4%
whip[1]: c8n6{r3 .} ==> r3c9 ≠ 6
x-wing-in-rows: n9{r3 r6}{c4 c9} ==> r5c4 ≠ 9
naked-pairs-in-a-column: c4{r5 r8}{n1 n3} ==> r9c4 ≠ 3, r9c4 ≠ 1, r6c4 ≠ 3, r6c4 ≠ 1, r3c4 ≠ 3, r2c4 ≠ 3
singles ==> r9c4 = 8, r2c6 = 8, r4c5 = 8
whip[1]: b5n2{r6c5 .} ==> r6c3 ≠ 2
whip[1]: c3n2{r3 .} ==> r2c1 ≠ 2, r3c2 ≠ 2
whip[1]: r2n3{c3 .} ==> r1c1 ≠ 3, r1c2 ≠ 3, r3c2 ≠ 3, r3c3 ≠ 3
swordfish-in-rows: n1{r1 r4 r7}{c2 c1 c7} ==> r9c2 ≠ 1, r8c7 ≠ 1, r8c1 ≠ 1, r5c7 ≠ 1, r5c1 ≠ 1
naked-single ==> r8c7 = 2
finned-jellyfish-in-rows: n3{r2 r6 r3 r8}{c1 c3 c8 c5} ==> r9c5 ≠ 3
singles and whip[1] to the end