urhegyi wrote:I'm missing the hardest Mith sudokus posted on this forum.
I miss them too. Thanks for making more of them.
This puzzle can't be solved by Subsets alone; it requires bivalue-chains or something similar.
- Code: Select all
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = BC+SFin
*** Using CLIPS 6.32-r778
***********************************************************************************************
hidden-single-in-a-row ==> r7c3 = 8
174 candidates, 922 csp-links and 922 links. Density = 6.13%
whip[1]: r7n9{c6 .} ==> r9c6 ≠ 9, r9c5 ≠ 9
whip[1]: c5n2{r6 .} ==> r5c6 ≠ 2, r4c6 ≠ 2
whip[1]: r4n2{c8 .} ==> r5c8 ≠ 2, r6c7 ≠ 2, r6c8 ≠ 2
whip[1]: r3n8{c6 .} ==> r2c4 ≠ 8, r1c6 ≠ 8
finned-x-wing-in-rows: n6{r9 r1}{c5 c9} ==> r2c9 ≠ 6
finned-x-wing-in-rows: n4{r9 r5}{c2 c9} ==> r6c9 ≠ 4
hidden-triplets-in-a-column: c6{n1 n3 n8}{r3 r5 r4} ==> r5c6 ≠ 9, r4c6 ≠ 9, r4c6 ≠ 5, r3c6 ≠ 9, r3c6 ≠ 7
whip[1]: c6n5{r9 .} ==> r7c4 ≠ 5, r8c4 ≠ 5
swordfish-in-columns: n4{c3 c4 c7}{r6 r8 r7} ==> r8c2 ≠ 4, r7c8 ≠ 4, r6c8 ≠ 4
swordfish-in-columns: n6{c3 c4 c7}{r3 r2 r8} ==> r3c8 ≠ 6, r2c8 ≠ 6, r2c5 ≠ 6
naked-pairs-in-a-block: b3{r2c8 r3c8}{n1 n7} ==> r3c7 ≠ 7, r1c8 ≠ 7
whip[1]: c7n7{r6 .} ==> r4c8 ≠ 7, r6c8 ≠ 7
hidden-pairs-in-a-row: r6{n4 n7}{c3 c7} ==> r6c7 ≠ 9, r6c3 ≠ 9, r6c3 ≠ 3
hidden-pairs-in-a-column: c8{n4 n6}{r1 r5} ==> r5c8 ≠ 3
finned-x-wing-in-columns: n9{c7 c3}{r4 r3} ==> r3c2 ≠ 9
biv-chain[3]: r1c6{n9 n7} - b8n7{r9c6 r9c5} - c5n6{r9 r1} ==> r1c5 ≠ 9
naked-pairs-in-a-column: c5{r1 r9}{n6 n7} ==> r2c5 ≠ 7
whip[1]: b2n7{r1c6 .} ==> r1c2 ≠ 7
naked-triplets-in-a-row: r2{c1 c5 c9}{n8 n3 n9} ==> r2c4 ≠ 9, r2c3 ≠ 9, r2c3 ≠ 3
x-wing-in-columns: n9{c3 c7}{r3 r4} ==> r4c4 ≠ 9, r4c2 ≠ 9, r3c4 ≠ 9
naked-pairs-in-a-column: c2{r3 r4}{n3 n7} ==> r8c2 ≠ 3, r5c2 ≠ 3
finned-x-wing-in-rows: n3{r2 r5}{c1 c5} ==> r6c5 ≠ 3
biv-chain[3]: c1n8{r1 r2} - r2n3{c1 c5} - b2n9{r2c5 r1c6} ==> r1c1 ≠ 9
biv-chain[3]: r4c2{n3 n7} - r6c3{n7 n4} - r8c3{n4 n3} ==> r4c3 ≠ 3
biv-chain[3]: r1c2{n5 n9} - r1c6{n9 n7} - r9c6{n7 n5} ==> r9c2 ≠ 5
biv-chain[3]: r7c7{n2 n4} - b8n4{r7c4 r8c4} - r8n6{c4 c7} ==> r8c7 ≠ 2
hidden-single-in-a-row ==> r8c6 = 2
whip[1]: r8n5{c2 .} ==> r9c1 ≠ 5
singles ==> r9c1 = 9, r9c2 = 4, r8c3 = 3,> r6c3 = 4, r6c7 = 7
hidden-pairs-in-a-block: b6{r5c8 r5c9}{n4 n6} ==> r5c9 ≠ 9
finned-x-wing-in-rows: n9{r2 r6}{c9 c5} ==> r5c5 ≠ 9
stte