lemon-project-template-glpk

view deps/glpk/examples/pbn/knot.dat @ 11:4fc6ad2fb8a6

Test GLPK in src/main.cc
author Alpar Juttner <alpar@cs.elte.hu>
date Sun, 06 Nov 2011 21:43:29 +0100
parents
children
line source
1 /* knot.dat */
3 /***********************************************************************
4 * Web Paint-by-Number Puzzle #16 from <www.webpbn.com>.
5 * Copyright (C) 2004 by Jan Wolter. Used by permission.
6 *
7 * Probably Not
8 *
9 * created by Jan Wolter
10 * Mar 27, 2004
11 *
12 * Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
13 ***********************************************************************/
15 data;
17 param m := 34;
19 param n := 34;
21 param row : 1 2 3 4 5 6 7 8 :=
22 1 1 1 . . . . . .
23 2 2 2 . . . . . .
24 3 3 3 . . . . . .
25 4 2 1 1 2 . . . .
26 5 2 1 1 2 . . . .
27 6 1 1 1 1 . . . .
28 7 1 1 1 1 . . . .
29 8 18 . . . . . . .
30 9 2 1 1 1 1 2 . .
31 10 1 1 1 1 1 1 . .
32 11 1 1 1 1 1 1 . .
33 12 26 . . . . . . .
34 13 2 1 1 1 1 1 1 2
35 14 2 1 1 2 2 1 1 2
36 15 2 1 1 2 2 1 1 2
37 16 14 14 . . . . . .
38 17 1 1 1 1 . . . .
39 18 1 1 1 1 . . . .
40 19 14 14 . . . . . .
41 20 2 1 1 2 2 1 1 2
42 21 2 1 1 2 2 1 1 2
43 22 2 1 1 1 1 1 1 2
44 23 26 . . . . . . .
45 24 1 1 1 1 1 1 . .
46 25 1 1 1 1 1 1 . .
47 26 2 1 1 1 1 2 . .
48 27 18 . . . . . . .
49 28 1 1 1 1 . . . .
50 29 1 1 1 1 . . . .
51 30 2 1 1 2 . . . .
52 31 2 1 1 2 . . . .
53 32 3 3 . . . . . .
54 33 2 2 . . . . . .
55 34 1 1 . . . . . .
56 ;
58 param col : 1 2 3 4 5 6 7 8 :=
59 1 1 1 . . . . . .
60 2 2 2 . . . . . .
61 3 3 3 . . . . . .
62 4 2 1 1 2 . . . .
63 5 2 1 1 2 . . . .
64 6 1 1 1 1 . . . .
65 7 1 1 1 1 . . . .
66 8 18 . . . . . . .
67 9 2 1 1 1 1 2 . .
68 10 1 1 1 1 1 1 . .
69 11 1 1 1 1 1 1 . .
70 12 26 . . . . . . .
71 13 2 1 1 1 1 1 1 2
72 14 2 1 1 2 2 1 1 2
73 15 2 1 1 2 2 1 1 2
74 16 14 14 . . . . . .
75 17 1 1 1 1 . . . .
76 18 1 1 1 1 . . . .
77 19 14 14 . . . . . .
78 20 2 1 1 2 2 1 1 2
79 21 2 1 1 2 2 1 1 2
80 22 2 1 1 1 1 1 1 2
81 23 26 . . . . . . .
82 24 1 1 1 1 1 1 . .
83 25 1 1 1 1 1 1 . .
84 26 2 1 1 1 1 2 . .
85 27 18 . . . . . . .
86 28 1 1 1 1 . . . .
87 29 1 1 1 1 . . . .
88 30 2 1 1 2 . . . .
89 31 2 1 1 2 . . . .
90 32 3 3 . . . . . .
91 33 2 2 . . . . . .
92 34 1 1 . . . . . .
93 ;
95 end;