lemon-project-template-glpk
comparison 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 |
comparison
equal
deleted
inserted
replaced
-1:000000000000 | 0:10457e4b2c48 |
---|---|
1 /* knot.dat */ | |
2 | |
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 ***********************************************************************/ | |
14 | |
15 data; | |
16 | |
17 param m := 34; | |
18 | |
19 param n := 34; | |
20 | |
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 ; | |
57 | |
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 ; | |
94 | |
95 end; |