Skip to content

Q
qgroundcontrol
Switch branch/tag
Find file
Normal viewHistoryPermalink
quasiGroup3Idempotent.fzn 6.09 KB
Newer Older
Valentin Platzgummer's avatar
or-tools src added
b443244f
 
Valentin Platzgummer committed
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 
predicate all_different_int(array [int] of var int: x);
predicate count(array [int] of var int: x, var int: y, var int: c);
predicate fixed_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, int: b);
predicate global_cardinality(array [int] of var int: x, array [int] of int: cover, array [int] of var int: counts);
predicate maximum_int(var int: m, array [int] of var int: x);
predicate minimum_int(var int: m, array [int] of var int: x);
predicate sliding_sum(int: low, int: up, int: seq, array [int] of var int: vs);
predicate sort(array [int] of var int: x, array [int] of var int: y);
predicate table_bool(array [int] of var bool: x, array [int, int] of bool: t);
predicate table_int(array [int] of var int: x, array [int, int] of int: t);
predicate var_cumulative(array [int] of var int: s, array [int] of int: d, array [int] of int: r, var int: b);
var 1..16: INT____00001 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00003 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00005 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00007 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00009 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00011 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00013 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00015 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00017 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00019 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00021 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00023 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00025 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00027 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00029 :: is_defined_var :: var_is_introduced;
var 1..16: INT____00031 :: is_defined_var :: var_is_introduced;
array [1..4] of var 0..3: qgDiagonal :: output_array([0..3]);
array [1..16] of var 0..3: quasiGroup :: output_array([0..3, 0..3]);
constraint all_different_int([quasiGroup[1], quasiGroup[2], quasiGroup[3], quasiGroup[4]]);
constraint all_different_int([quasiGroup[1], quasiGroup[5], quasiGroup[9], quasiGroup[13]]);
constraint all_different_int([quasiGroup[2], quasiGroup[6], quasiGroup[10], quasiGroup[14]]);
constraint all_different_int([quasiGroup[3], quasiGroup[7], quasiGroup[11], quasiGroup[15]]);
constraint all_different_int([quasiGroup[4], quasiGroup[8], quasiGroup[12], quasiGroup[16]]);
constraint all_different_int([quasiGroup[5], quasiGroup[6], quasiGroup[7], quasiGroup[8]]);
constraint all_different_int([quasiGroup[9], quasiGroup[10], quasiGroup[11], quasiGroup[12]]);
constraint all_different_int([quasiGroup[13], quasiGroup[14], quasiGroup[15], quasiGroup[16]]);
constraint array_var_int_element(INT____00001, quasiGroup, 0);
constraint array_var_int_element(INT____00003, quasiGroup, 0);
constraint array_var_int_element(INT____00005, quasiGroup, 0);
constraint array_var_int_element(INT____00007, quasiGroup, 0);
constraint array_var_int_element(INT____00009, quasiGroup, 1);
constraint array_var_int_element(INT____00011, quasiGroup, 1);
constraint array_var_int_element(INT____00013, quasiGroup, 1);
constraint array_var_int_element(INT____00015, quasiGroup, 1);
constraint array_var_int_element(INT____00017, quasiGroup, 2);
constraint array_var_int_element(INT____00019, quasiGroup, 2);
constraint array_var_int_element(INT____00021, quasiGroup, 2);
constraint array_var_int_element(INT____00023, quasiGroup, 2);
constraint array_var_int_element(INT____00025, quasiGroup, 3);
constraint array_var_int_element(INT____00027, quasiGroup, 3);
constraint array_var_int_element(INT____00029, quasiGroup, 3);
constraint array_var_int_element(INT____00031, quasiGroup, 3);
constraint int_eq(qgDiagonal[1], quasiGroup[1]);
constraint int_eq(qgDiagonal[2], quasiGroup[6]);
constraint int_eq(qgDiagonal[3], quasiGroup[11]);
constraint int_eq(qgDiagonal[4], quasiGroup[16]);
constraint int_lin_eq([-1, 5], [INT____00001, quasiGroup[1]], -1) :: defines_var(INT____00001) :: domain;
constraint int_lin_eq([-1, 5], [INT____00011, quasiGroup[6]], -1) :: defines_var(INT____00011) :: domain;
constraint int_lin_eq([-1, 5], [INT____00021, quasiGroup[11]], -1) :: defines_var(INT____00021) :: domain;
constraint int_lin_eq([-1, 5], [INT____00031, quasiGroup[16]], -1) :: defines_var(INT____00031) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00009, quasiGroup[2], quasiGroup[5]], -1) :: defines_var(INT____00009) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00017, quasiGroup[3], quasiGroup[9]], -1) :: defines_var(INT____00017) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00019, quasiGroup[7], quasiGroup[10]], -1) :: defines_var(INT____00019) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00025, quasiGroup[4], quasiGroup[13]], -1) :: defines_var(INT____00025) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00027, quasiGroup[8], quasiGroup[14]], -1) :: defines_var(INT____00027) :: domain;
constraint int_lin_eq([-1, 1, 4], [INT____00029, quasiGroup[12], quasiGroup[15]], -1) :: defines_var(INT____00029) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00003, quasiGroup[2], quasiGroup[5]], -1) :: defines_var(INT____00003) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00005, quasiGroup[3], quasiGroup[9]], -1) :: defines_var(INT____00005) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00007, quasiGroup[4], quasiGroup[13]], -1) :: defines_var(INT____00007) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00013, quasiGroup[7], quasiGroup[10]], -1) :: defines_var(INT____00013) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00015, quasiGroup[8], quasiGroup[14]], -1) :: defines_var(INT____00015) :: domain;
constraint int_lin_eq([-1, 4, 1], [INT____00023, quasiGroup[12], quasiGroup[15]], -1) :: defines_var(INT____00023) :: domain;
solve  :: int_search([quasiGroup[1], quasiGroup[2], quasiGroup[3], quasiGroup[4], quasiGroup[5], quasiGroup[6], quasiGroup[7], quasiGroup[8], quasiGroup[9], quasiGroup[10], quasiGroup[11], quasiGroup[12], quasiGroup[13], quasiGroup[14], quasiGroup[15], quasiGroup[16]], first_fail, indomain, complete) satisfy;