market_split_s4_07.fzn
2.13 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
array [1..30] of int: X_INTRODUCED_85_ = [43,19,59,97,14,19,44,90,57,74,83,66,95,24,91,49,59,89,54,90,71,69,49,19,72,97,9,19,75,79];
array [1..30] of int: X_INTRODUCED_135_ = [63,19,99,74,68,13,45,65,55,3,39,38,21,87,63,12,36,74,54,42,64,77,12,66,96,36,63,5,55,39];
array [1..30] of int: X_INTRODUCED_184_ = [85,70,10,84,96,78,49,42,43,56,97,35,94,18,22,9,83,10,35,89,53,52,66,17,18,63,53,33,20,60];
array [1..30] of int: X_INTRODUCED_223_ = [24,57,83,34,41,79,65,42,73,60,98,70,47,45,41,21,54,24,32,90,13,37,42,79,54,12,94,59,45,67];
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_;
array [1..30] of var int: x:: output_array([1..30]) = [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_];
constraint int_lin_eq(X_INTRODUCED_85_,x,887);
constraint int_lin_eq(X_INTRODUCED_135_,x,741);
constraint int_lin_eq(X_INTRODUCED_184_,x,770);
constraint int_lin_eq(X_INTRODUCED_223_,x,791);
solve :: int_search(x,input_order,indomain_min,complete) satisfy;