-
Notifications
You must be signed in to change notification settings - Fork 0
/
t1.json
92 lines (74 loc) · 1.43 KB
/
t1.json
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
{
"name":"problem2",
"variables" :
[
{
"name" : "X1",
"domain" : ["r", "b", "g"]
},
{
"name" : "X2",
"domain" : ["b", "g"]
},
{
"name" : "X3",
"domain" : ["r", "b"]
},
{
"name" : "X4",
"domain" : ["r", "b"]
},
{
"name" : "X5",
"domain" : ["b", "g"]
},
{
"name" : "X6",
"domain" : ["r", "g", "t"]
},
{
"name" : "X7",
"domain" : ["r", "b"]
}
],
"constraints" :
[
{
"scope" : ["X1", "X2"],
"relation" : [["r", "b"], ["r", "g"], ["b", "g"], ["g", "b"]]
},
{
"scope" : ["X1", "X3"],
"relation" : [["r", "b"], ["b", "r"], ["g", "r"], ["g", "b"]]
},
{
"scope" : ["X1", "X4"],
"relation" : [["r", "b"], ["b", "r"], ["g", "r"], ["g", "b"]]
},
{
"scope" : ["X1", "X7"],
"relation" : [["r", "b"], ["b", "r"], ["g", "r"], ["g", "b"]]
},
{
"scope" : ["X2", "X6"],
"relation" : [["b", "r"], ["b", "g"], ["b", "t"], ["g", "r"], ["g", "t"]]
},
{
"scope" : ["X3", "X7"],
"relation" : [["r", "b"], ["b", "r"]]
},
{
"scope" : ["X4", "X5"],
"relation" : [["r", "b"], ["r", "g"], ["b", "g"]]
},
{
"scope" : ["X5", "X7"],
"relation" : [["b", "r"], ["g", "r"], ["g", "b"]]
},
{
"scope" : ["X5", "X6"],
"relation" : [["b", "r"], ["b", "g"], ["b", "t"], ["g", "r"], ["g", "t"]]
}
],
"ordering" : ["X1", "X2", "X3", "X4", "X5", "X6", "X7"]
}