lemon-project-template-glpk
view deps/glpk/examples/sudoku.dat @ 9:33de93886c88
Import GLPK 4.47
author | Alpar Juttner <alpar@cs.elte.hu> |
---|---|
date | Sun, 06 Nov 2011 20:59:10 +0100 |
parents | |
children |
line source
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;