schurs_6_3.fzn
3.47 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
array [1..2] of int: X_INTRODUCED_6 = [1,-1];
var 1..3: X_INTRODUCED_0;
var 1..3: X_INTRODUCED_1;
var 1..3: X_INTRODUCED_2;
var 1..3: X_INTRODUCED_3;
var 1..3: X_INTRODUCED_4;
var 1..3: X_INTRODUCED_5;
var bool: X_INTRODUCED_7 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_8 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_10 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_11 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_13 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_14 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_16 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_17 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_19 ::var_is_introduced :: is_defined_var;
var bool: X_INTRODUCED_20 ::var_is_introduced :: is_defined_var;
array [1..6] of var int: box:: output_array([1..6]) = [X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5];
constraint array_bool_or([X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_9],true);
constraint array_bool_or([X_INTRODUCED_7,X_INTRODUCED_10,X_INTRODUCED_11],true);
constraint array_bool_or([X_INTRODUCED_10,X_INTRODUCED_12,X_INTRODUCED_13],true);
constraint array_bool_or([X_INTRODUCED_12,X_INTRODUCED_14,X_INTRODUCED_15],true);
constraint array_bool_or([X_INTRODUCED_8,X_INTRODUCED_16,X_INTRODUCED_17],true);
constraint array_bool_or([X_INTRODUCED_18,X_INTRODUCED_19,X_INTRODUCED_20],true);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_0,X_INTRODUCED_2],0,X_INTRODUCED_7):: defines_var(X_INTRODUCED_7);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_1,X_INTRODUCED_2],0,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_0,X_INTRODUCED_1],0,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_0,X_INTRODUCED_3],0,X_INTRODUCED_10):: defines_var(X_INTRODUCED_10);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_2,X_INTRODUCED_3],0,X_INTRODUCED_11):: defines_var(X_INTRODUCED_11);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_0,X_INTRODUCED_4],0,X_INTRODUCED_12):: defines_var(X_INTRODUCED_12);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_3,X_INTRODUCED_4],0,X_INTRODUCED_13):: defines_var(X_INTRODUCED_13);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_0,X_INTRODUCED_5],0,X_INTRODUCED_14):: defines_var(X_INTRODUCED_14);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_4,X_INTRODUCED_5],0,X_INTRODUCED_15):: defines_var(X_INTRODUCED_15);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_1,X_INTRODUCED_4],0,X_INTRODUCED_16):: defines_var(X_INTRODUCED_16);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_2,X_INTRODUCED_4],0,X_INTRODUCED_17):: defines_var(X_INTRODUCED_17);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_1,X_INTRODUCED_5],0,X_INTRODUCED_18):: defines_var(X_INTRODUCED_18);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_3,X_INTRODUCED_5],0,X_INTRODUCED_19):: defines_var(X_INTRODUCED_19);
constraint int_lin_ne_reif(X_INTRODUCED_6,[X_INTRODUCED_1,X_INTRODUCED_3],0,X_INTRODUCED_20):: defines_var(X_INTRODUCED_20);
solve :: int_search(box,input_order,indomain_min,complete) satisfy;