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