File tree Expand file tree Collapse file tree 1 file changed +0
-30
lines changed Expand file tree Collapse file tree 1 file changed +0
-30
lines changed Original file line number Diff line number Diff line change @@ -673,36 +673,6 @@ class Sudoku(CSP):
673
673
>>> h = Sudoku(harder1)
674
674
>>> backtracking_search(h, select_unassigned_variable=mrv, inference=forward_checking) is not None
675
675
True
676
-
677
- >>> e = Sudoku(easy1)
678
- >>> e.display(e.infer_assignment())
679
- . . 3 | . 2 . | 6 . .
680
- 9 . . | 3 . 5 | . . 1
681
- . . 1 | 8 . 6 | 4 . .
682
- ------+-------+------
683
- . . 8 | 1 . 2 | 9 . .
684
- 7 . . | . . . | . . 8
685
- . . 6 | 7 . 8 | 2 . .
686
- ------+-------+------
687
- . . 2 | 6 . 9 | 5 . .
688
- 8 . . | 2 . 3 | . . 9
689
- . . 5 | . 1 . | 3 . .
690
- >>> AC4(e); e.display(e.infer_assignment())
691
- True
692
- 4 8 3 | 9 2 1 | 6 5 7
693
- 9 6 7 | 3 4 5 | 8 2 1
694
- 2 5 1 | 8 7 6 | 4 9 3
695
- ------+-------+------
696
- 5 4 8 | 1 3 2 | 9 7 6
697
- 7 2 9 | 5 6 4 | 1 3 8
698
- 1 3 6 | 7 9 8 | 2 4 5
699
- ------+-------+------
700
- 3 7 2 | 6 8 9 | 5 1 4
701
- 8 1 4 | 2 5 3 | 7 6 9
702
- 6 9 5 | 4 1 7 | 3 8 2
703
- >>> h = Sudoku(harder1)
704
- >>> backtracking_search(h, select_unassigned_variable=mrv, inference=forward_checking) is not None
705
- True
706
676
"""
707
677
708
678
R3 = _R3
You can’t perform that action at this time.
0 commit comments