(solve "......12...78....3.5..9..4..4..1..5...32....6........89........8.65......7..42...")
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = BC+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
singles ==> r3c9 = 7, r7c3 = 4, r8c9 = 4, r3c7 = 8, r9c8 = 8, r2c5 = 2
196 candidates, 1127 csp-links and 1127 links. Density = 5.9%
whip[1]: c9n1{r9 .} ==> r8c8 ≠ 1, r7c8 ≠ 1
whip[1]: r7n5{c9 .} ==> r9c9 ≠ 5, r9c7 ≠ 5
whip[1]: b7n2{r8c2 .} ==> r6c2 ≠ 2
whip[1]: b3n6{r2c8 .} ==> r2c6 ≠ 6, r2c1 ≠ 6, r2c2 ≠ 6
biv-chain[3]: r2c2{n1 n9} - r1c3{n9 n8} - b4n8{r4c3 r5c2} ==> r5c2 ≠ 1
biv-chain[3]: r9c9{n1 n9} - b8n9{r9c4 r8c6} - r8n1{c6 c2} ==> r9c1 ≠ 1, r9c3 ≠ 1
stte