Download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
# Copyright 2010 Hakan Kjellerstrand hakank@bonetmail.com
#
# Licensed under the Apache License, Version 2.0 (the 'License');
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an 'AS IS' BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
#
# Nonogram problem from Gecode: Dragonfly
#
rows = 20
row_rule_len = 5
row_rules = [
    [0,0,0,7,1],
    [0,0,1,1,2],
    [0,0,2,1,2],
    [0,0,1,2,2],
    [0,0,4,2,3],
    [0,0,3,1,4],
    [0,0,3,1,3],
    [0,0,2,1,4],
    [0,0,0,2,9],
    [0,0,2,1,5],
    [0,0,0,2,7],
    [0,0,0,0,14],
    [0,0,0,8,2],
    [0,0,6,2,2],
    [0,2,8,1,3],
    [0,1,5,5,2],
    [1,3,2,4,1],
    [3,1,2,4,1],
    [1,1,3,1,3],
    [0,2,1,1,2]
    ]
 
cols = 20
col_rule_len = 5
col_rules = [
    [0,1,1,1,2],
    [3,1,2,1,1],
    [1,4,2,1,1],
    [0,1,3,2,4],
    [0,1,4,6,1],
    [0,0,1,11,1],
    [0,5,1,6,2],
    [0,0,0,0,14],
    [0,0,0,7,2],
    [0,0,0,7,2],
    [0,0,6,1,1],
    [0,0,0,9,2],
    [0,3,1,1,1],
    [0,0,3,1,3],
    [0,0,2,1,3],
    [0,0,2,1,5],
    [0,0,3,2,2],
    [0,0,3,3,2],
    [0,0,2,3,2],
    [0,0,0,2,6]
    ]