lemon-project-template-glpk: deps/glpk/examples/sudoku.dat annotate

lemon-project-template-glpk

Configure GLPK build

author	Alpar Juttner <alpar@cs.elte.hu>
date	Sun, 06 Nov 2011 21:42:23 +0100 (2011-11-06)
parents
children

rev	line source
alpar@9	1 /* sudoku.dat, a hard Sudoku puzzle which causes branching */
alpar@9	2
alpar@9	3 data;
alpar@9	4
alpar@9	5 param givens : 1 2 3 4 5 6 7 8 9 :=
alpar@9	6 1 1 . . . . . 7 . .
alpar@9	7 2 . 2 . . . . 5 . .
alpar@9	8 3 6 . . 3 8 . . . .
alpar@9	9 4 . 7 8 . . . . . .
alpar@9	10 5 . . . 6 . 9 . . .
alpar@9	11 6 . . . . . . 1 4 .
alpar@9	12 7 . . . . 2 5 . . 9
alpar@9	13 8 . . 3 . . . . 6 .
alpar@9	14 9 . . 4 . . . . . 2 ;
alpar@9	15
alpar@9	16 end;