market_split_s5_04.fzn
3.61 KB
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
array [1..39] of int: X_INTRODUCED_114_ = [70,50,88,54,8,35,3,95,44,26,87,12,69,26,70,42,55,5,80,96,15,90,25,39,19,84,42,47,24,98,17,75,38,23,35,25,26,30,69];
array [1..39] of int: X_INTRODUCED_176_ = [4,70,82,25,96,4,19,3,62,99,99,14,66,89,39,57,8,24,51,7,49,24,75,88,99,62,13,25,93,83,81,63,17,6,11,21,77,15,83];
array [1..40] of int: X_INTRODUCED_238_ = [76,14,97,94,56,37,52,64,13,3,72,13,53,48,41,93,48,3,58,25,48,41,59,11,58,17,75,32,95,42,15,71,56,65,18,64,54,70,29,67];
array [1..40] of int: X_INTRODUCED_291_ = [73,53,80,78,53,73,23,53,77,82,79,25,75,38,89,86,7,16,18,2,58,85,26,66,2,44,31,56,14,12,75,39,17,56,70,22,81,93,76,10];
array [1..40] of int: X_INTRODUCED_340_ = [27,7,36,3,45,77,89,52,45,59,7,55,44,33,21,99,77,4,55,91,16,31,82,85,39,4,8,20,98,84,31,77,91,19,80,88,48,21,92,45];
var 0..1: X_INTRODUCED_0_;
var 0..1: X_INTRODUCED_1_;
var 0..1: X_INTRODUCED_2_;
var 0..1: X_INTRODUCED_3_;
var 0..1: X_INTRODUCED_4_;
var 0..1: X_INTRODUCED_5_;
var 0..1: X_INTRODUCED_6_;
var 0..1: X_INTRODUCED_7_;
var 0..1: X_INTRODUCED_8_;
var 0..1: X_INTRODUCED_9_;
var 0..1: X_INTRODUCED_10_;
var 0..1: X_INTRODUCED_11_;
var 0..1: X_INTRODUCED_12_;
var 0..1: X_INTRODUCED_13_;
var 0..1: X_INTRODUCED_14_;
var 0..1: X_INTRODUCED_15_;
var 0..1: X_INTRODUCED_16_;
var 0..1: X_INTRODUCED_17_;
var 0..1: X_INTRODUCED_18_;
var 0..1: X_INTRODUCED_19_;
var 0..1: X_INTRODUCED_20_;
var 0..1: X_INTRODUCED_21_;
var 0..1: X_INTRODUCED_22_;
var 0..1: X_INTRODUCED_23_;
var 0..1: X_INTRODUCED_24_;
var 0..1: X_INTRODUCED_25_;
var 0..1: X_INTRODUCED_26_;
var 0..1: X_INTRODUCED_27_;
var 0..1: X_INTRODUCED_28_;
var 0..1: X_INTRODUCED_29_;
var 0..1: X_INTRODUCED_30_;
var 0..1: X_INTRODUCED_31_;
var 0..1: X_INTRODUCED_32_;
var 0..1: X_INTRODUCED_33_;
var 0..1: X_INTRODUCED_34_;
var 0..1: X_INTRODUCED_35_;
var 0..1: X_INTRODUCED_36_;
var 0..1: X_INTRODUCED_37_;
var 0..1: X_INTRODUCED_38_;
var 0..1: X_INTRODUCED_39_;
array [1..40] of var int: x:: output_array([1..40]) = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_20_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_];
array [1..39] of var int: X_INTRODUCED_113_ ::var_is_introduced = [X_INTRODUCED_0_,X_INTRODUCED_1_,X_INTRODUCED_2_,X_INTRODUCED_3_,X_INTRODUCED_4_,X_INTRODUCED_5_,X_INTRODUCED_6_,X_INTRODUCED_7_,X_INTRODUCED_8_,X_INTRODUCED_9_,X_INTRODUCED_10_,X_INTRODUCED_11_,X_INTRODUCED_12_,X_INTRODUCED_13_,X_INTRODUCED_14_,X_INTRODUCED_15_,X_INTRODUCED_16_,X_INTRODUCED_17_,X_INTRODUCED_18_,X_INTRODUCED_19_,X_INTRODUCED_21_,X_INTRODUCED_22_,X_INTRODUCED_23_,X_INTRODUCED_24_,X_INTRODUCED_25_,X_INTRODUCED_26_,X_INTRODUCED_27_,X_INTRODUCED_28_,X_INTRODUCED_29_,X_INTRODUCED_30_,X_INTRODUCED_31_,X_INTRODUCED_32_,X_INTRODUCED_33_,X_INTRODUCED_34_,X_INTRODUCED_35_,X_INTRODUCED_36_,X_INTRODUCED_37_,X_INTRODUCED_38_,X_INTRODUCED_39_];
constraint int_lin_eq(X_INTRODUCED_114_,X_INTRODUCED_113_,918);
constraint int_lin_eq(X_INTRODUCED_176_,X_INTRODUCED_113_,951);
constraint int_lin_eq(X_INTRODUCED_238_,x,973);
constraint int_lin_eq(X_INTRODUCED_291_,x,1006);
constraint int_lin_eq(X_INTRODUCED_340_,x,992);
solve :: int_search(x,input_order,indomain_min,complete) satisfy;