lemon-project-template-glpk

view deps/glpk/examples/pbn/cat.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 /* cat.dat */
3 /***********************************************************************
4 * Web Paint-by-Number Puzzle #6 from <www.webpbn.com>.
5 * Copyright (C) 2004 by Jan Wolter. Used by permission.
6 *
7 * Scardy Cat
8 *
9 * created by Jan Wolter
10 * Mar 24, 2004
11 *
12 * Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
13 ***********************************************************************/
15 data;
17 param m := 20;
19 param n := 20;
21 param row : 1 2 3 4 :=
22 1 2 . . .
23 2 2 . . .
24 3 1 . . .
25 4 1 . . .
26 5 1 3 . .
27 6 2 5 . .
28 7 1 7 1 1
29 8 1 8 2 2
30 9 1 9 5 .
31 10 2 16 . .
32 11 1 17 . .
33 12 7 11 . .
34 13 5 5 3 .
35 14 5 4 . .
36 15 3 3 . .
37 16 2 2 . .
38 17 2 1 . .
39 18 1 1 . .
40 19 2 2 . .
41 20 2 2 . .
42 ;
44 param col : 1 2 3 :=
45 1 5 . .
46 2 5 3 .
47 3 2 3 4
48 4 1 7 2
49 5 8 . .
50 6 9 . .
51 7 9 . .
52 8 8 . .
53 9 7 . .
54 10 8 . .
55 11 9 . .
56 12 10 . .
57 13 13 . .
58 14 6 2 .
59 15 4 . .
60 16 6 . .
61 17 6 . .
62 18 5 . .
63 19 6 . .
64 20 6 . .
65 ;
67 end;