| author | Alpar Juttner <alpar@cs.elte.hu> |
| Mon, 06 Dec 2010 13:09:21 +0100 | |
| changeset 1 | c445c931472f |
| permissions | -rw-r--r-- |
| alpar@1 | 1 |
/* sudoku.dat, a hard Sudoku puzzle which causes branching */ |
| alpar@1 | 2 |
|
| alpar@1 | 3 |
data; |
| alpar@1 | 4 |
|
| alpar@1 | 5 |
param givens : 1 2 3 4 5 6 7 8 9 := |
| alpar@1 | 6 |
1 1 . . . . . 7 . . |
| alpar@1 | 7 |
2 . 2 . . . . 5 . . |
| alpar@1 | 8 |
3 6 . . 3 8 . . . . |
| alpar@1 | 9 |
4 . 7 8 . . . . . . |
| alpar@1 | 10 |
5 . . . 6 . 9 . . . |
| alpar@1 | 11 |
6 . . . . . . 1 4 . |
| alpar@1 | 12 |
7 . . . . 2 5 . . 9 |
| alpar@1 | 13 |
8 . . 3 . . . . 6 . |
| alpar@1 | 14 |
9 . . 4 . . . . . 2 ; |
| alpar@1 | 15 |
|
| alpar@1 | 16 |
end; |