Pupp wrote:
Point where I'm asking about.
- Code: Select all
*--------------------------------------------------------------------*
| 14569 8 159 | 7 2 369 | 1359 3459 1359 |
| 159 7 159 | 8 13 4 | 1359 6 2 |
| 12469 249 3 | 169 5 69 | 7 49 8 |
*----------------------+----------------------+----------------------|
| 59 3 2 | 4 8 7 | 59 1 6 |
| 7 59 4 | 2 6 1 | 8 359 359 |
| 8 1 6 | 3 9 5 | 2 7 4 |
*----------------------+----------------------+----------------------|
| 1259 259 8 | 169 7 369 | 4 359 1359 |
| 3 6 179 | 5 4 2 | 19 8 179 |
| 1459 459 1579 | 19 13 8 | 6 2 13579 |
*--------------------------------------------------------------------*
Giving it to SudoRules as:
- Code: Select all
(solve-sukaku-grid
*--------------------------------------------------------------------*
! 14569 8 159 ! 7 2 369 ! 1359 3459 1359 !
! 159 7 159 ! 8 13 4 ! 1359 6 2 !
! 12469 249 3 ! 169 5 69 ! 7 49 8 !
*----------------------+----------------------+----------------------!
! 59 3 2 ! 4 8 7 ! 59 1 6 !
! 7 59 4 ! 2 6 1 ! 8 359 359 !
! 8 1 6 ! 3 9 5 ! 2 7 4 !
*----------------------+----------------------+----------------------!
! 1259 259 8 ! 169 7 369 ! 4 359 1359 !
! 3 6 179 ! 5 4 2 ! 19 8 179 !
! 1459 459 1579 ! 19 13 8 ! 6 2 13579 !
*--------------------------------------------------------------------*
)
you get an alternative, simple solution:
- Code: Select all
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
110 candidates, 558 csp-links and 558 links. Density = 9.31%
whip[1]: c7n3{r2 .} ==> r1c9 ≠ 3, r1c8 ≠ 3
finned-x-wing-in-rows: n9{r4 r2}{c7 c1} ==> r3c1 ≠ 9, r1c1 ≠ 9
finned-x-wing-in-rows: n5{r4 r2}{c7 c1} ==> r1c1 ≠ 5
biv-chain[2]: r3n1{c1 c4} - c5n1{r2 r9} ==> r9c1 ≠ 1
naked-triplets-in-a-block: b1{r1c3 r2c1 r2c3}{n9 n5 n1} ==> r3c2 ≠ 9, r3c1 ≠ 1, r1c1 ≠ 1
singles
finned-x-wing-in-columns: n1{c7 c1}{r2 r8} ==> r8c3 ≠ 1
stte