75 lines
6.1 KiB
MiniZinc
75 lines
6.1 KiB
MiniZinc
predicate fzn_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_fzn_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_fzn_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 fzn_all_different_int([quasiGroup[1], quasiGroup[2], quasiGroup[3], quasiGroup[4]]);
|
|
constraint fzn_all_different_int([quasiGroup[1], quasiGroup[5], quasiGroup[9], quasiGroup[13]]);
|
|
constraint fzn_all_different_int([quasiGroup[2], quasiGroup[6], quasiGroup[10], quasiGroup[14]]);
|
|
constraint fzn_all_different_int([quasiGroup[3], quasiGroup[7], quasiGroup[11], quasiGroup[15]]);
|
|
constraint fzn_all_different_int([quasiGroup[4], quasiGroup[8], quasiGroup[12], quasiGroup[16]]);
|
|
constraint fzn_all_different_int([quasiGroup[5], quasiGroup[6], quasiGroup[7], quasiGroup[8]]);
|
|
constraint fzn_all_different_int([quasiGroup[9], quasiGroup[10], quasiGroup[11], quasiGroup[12]]);
|
|
constraint fzn_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;
|