-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathold-zebra-supports2.xml
executable file
·115 lines (107 loc) · 6.83 KB
/
old-zebra-supports2.xml
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
<instance>
<presentation name="zebra" maxConstraintArity="2" format="XCSP 2.0"/>
<domains nbDomains="1">
<domain name="D0" nbValues="5">1..5</domain>
</domains>
<variables nbVariables="25">
<variable name="Norway" domain="D0"/>
<variable name="England" domain="D0"/>
<variable name="Japan" domain="D0"/>
<variable name="Spain" domain="D0"/>
<variable name="Ukrane" domain="D0"/>
<variable name="blue" domain="D0"/>
<variable name="red" domain="D0"/>
<variable name="green" domain="D0"/>
<variable name="yellow" domain="D0"/>
<variable name="ivory" domain="D0"/>
<variable name="coffee" domain="D0"/>
<variable name="tea" domain="D0"/>
<variable name="oj" domain="D0"/>
<variable name="milk" domain="D0"/>
<variable name="water" domain="D0"/>
<variable name="horse" domain="D0"/>
<variable name="snail" domain="D0"/>
<variable name="zebra" domain="D0"/>
<variable name="fox" domain="D0"/>
<variable name="dog" domain="D0"/>
<variable name="Chesterfield" domain="D0"/>
<variable name="Parliment" domain="D0"/>
<variable name="LuckyStripe" domain="D0"/>
<variable name="Kool" domain="D0"/>
<variable name="OldGold" domain="D0"/>
</variables>
<relations nbRelations="6">
<relation name="equal" arity="2" nbTuples="5" semantics="supports">1 1|2 2|3 3|4 4|5 5</relation>
<relation name="plusOne" arity="2" nbTuples="4" semantics="supports">1 2|2 3|3 4|4 5</relation>
<relation name="nextTo" arity="2" nbTuples="8" semantics="supports">1 2|2 1|2 3|3 2|3 4|4 3|4 5|5 4</relation>
<relation name="mutex" arity="2" nbTuples="20" semantics="supports">1 2|1 3|1 4|1 5|2 1|2 3|2 4|2 5|3 1|3 2|3 4|3 5|4 1|4 2|4 3|4 5|5 1|5 2|5 3|5 4</relation>
<relation name="uNorway" arity="1" nbTuples="1" semantics="supports">1</relation>
<relation name="umilk" arity="1" nbTuples="1" semantics="supports">3</relation>
</relations>
<constraints nbConstraints="64">
<constraint name="C0" arity="2" scope="England red" reference="equal"/>
<constraint name="C1" arity="2" scope="Spain dog" reference="equal"/>
<constraint name="C2" arity="2" scope="coffee green" reference="equal"/>
<constraint name="C3" arity="2" scope="Ukrane tea" reference="equal"/>
<constraint name="C4" arity="2" scope="snail OldGold" reference="equal"/>
<constraint name="C5" arity="2" scope="Kool yellow" reference="equal"/>
<constraint name="C6" arity="2" scope="LuckyStripe oj" reference="equal"/>
<constraint name="C7" arity="2" scope="Japan Parliment" reference="equal"/>
<constraint name="C8" arity="2" scope="green ivory" reference="plusOne"/>
<constraint name="C9" arity="2" scope="Chesterfield fox" reference="nextTo"/>
<constraint name="C10" arity="2" scope="Kool horse" reference="nextTo"/>
<constraint name="C11" arity="2" scope="Norway blue" reference="nextTo"/>
<constraint name="C12" arity="2" scope="Norway England" reference="mutex"/>
<constraint name="C13" arity="2" scope="Norway Japan" reference="mutex"/>
<constraint name="C14" arity="2" scope="Norway Spain" reference="mutex"/>
<constraint name="C15" arity="2" scope="Norway Ukrane" reference="mutex"/>
<constraint name="C16" arity="2" scope="England Japan" reference="mutex"/>
<constraint name="C17" arity="2" scope="England Spain" reference="mutex"/>
<constraint name="C18" arity="2" scope="England Ukrane" reference="mutex"/>
<constraint name="C19" arity="2" scope="Japan Spain" reference="mutex"/>
<constraint name="C20" arity="2" scope="Japan Ukrane" reference="mutex"/>
<constraint name="C21" arity="2" scope="Spain Ukrane" reference="mutex"/>
<constraint name="C22" arity="2" scope="blue red" reference="mutex"/>
<constraint name="C23" arity="2" scope="blue green" reference="mutex"/>
<constraint name="C24" arity="2" scope="blue yellow" reference="mutex"/>
<constraint name="C25" arity="2" scope="blue ivory" reference="mutex"/>
<constraint name="C26" arity="2" scope="red green" reference="mutex"/>
<constraint name="C27" arity="2" scope="red yellow" reference="mutex"/>
<constraint name="C28" arity="2" scope="red ivory" reference="mutex"/>
<constraint name="C29" arity="2" scope="green yellow" reference="mutex"/>
<constraint name="C30" arity="2" scope="green ivory" reference="mutex"/>
<constraint name="C31" arity="2" scope="yellow ivory" reference="mutex"/>
<constraint name="C32" arity="2" scope="coffee tea" reference="mutex"/>
<constraint name="C33" arity="2" scope="coffee oj" reference="mutex"/>
<constraint name="C34" arity="2" scope="coffee milk" reference="mutex"/>
<constraint name="C35" arity="2" scope="coffee water" reference="mutex"/>
<constraint name="C36" arity="2" scope="tea oj" reference="mutex"/>
<constraint name="C37" arity="2" scope="tea milk" reference="mutex"/>
<constraint name="C38" arity="2" scope="tea water" reference="mutex"/>
<constraint name="C39" arity="2" scope="oj milk" reference="mutex"/>
<constraint name="C40" arity="2" scope="oj water" reference="mutex"/>
<constraint name="C41" arity="2" scope="milk water" reference="mutex"/>
<constraint name="C42" arity="2" scope="horse snail" reference="mutex"/>
<constraint name="C43" arity="2" scope="horse zebra" reference="mutex"/>
<constraint name="C44" arity="2" scope="horse fox" reference="mutex"/>
<constraint name="C45" arity="2" scope="horse dog" reference="mutex"/>
<constraint name="C46" arity="2" scope="snail zebra" reference="mutex"/>
<constraint name="C47" arity="2" scope="snail fox" reference="mutex"/>
<constraint name="C48" arity="2" scope="snail dog" reference="mutex"/>
<constraint name="C49" arity="2" scope="zebra fox" reference="mutex"/>
<constraint name="C50" arity="2" scope="zebra dog" reference="mutex"/>
<constraint name="C51" arity="2" scope="fox dog" reference="mutex"/>
<constraint name="C52" arity="2" scope="Chesterfield Parliment" reference="mutex"/>
<constraint name="C53" arity="2" scope="Chesterfield LuckyStripe" reference="mutex"/>
<constraint name="C54" arity="2" scope="Chesterfield Kool" reference="mutex"/>
<constraint name="C55" arity="2" scope="Chesterfield OldGold" reference="mutex"/>
<constraint name="C56" arity="2" scope="Parliment LuckyStripe" reference="mutex"/>
<constraint name="C57" arity="2" scope="Parliment Kool" reference="mutex"/>
<constraint name="C58" arity="2" scope="Parliment OldGold" reference="mutex"/>
<constraint name="C59" arity="2" scope="LuckyStripe Kool" reference="mutex"/>
<constraint name="C60" arity="2" scope="LuckyStripe OldGold" reference="mutex"/>
<constraint name="C61" arity="2" scope="Kool OldGold" reference="mutex"/>
<constraint name="C62" arity="1" scope="Norway" reference="uNorway"/>
<constraint name="C63" arity="1" scope="milk" reference="umilk"/>
</constraints>
</instance>