| author | Alpar Juttner <alpar@cs.elte.hu> |
| Mon, 06 Dec 2010 13:09:21 +0100 | |
| changeset 1 | c445c931472f |
| 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;