Skip to content

Q
qgroundcontrol
Switch branch/tag
Find file
Normal viewHistoryPermalink
evens2.fzn 2.14 KB
Newer Older
Valentin Platzgummer's avatar
123
3ce021db
 
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 
var 0..4: INT____00001 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00003 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00005 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00007 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00009 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00011 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00013 :: is_defined_var :: var_is_introduced;
var 0..4: INT____00015 :: is_defined_var :: var_is_introduced;
array [1..16] of var 0..1: place :: output_array([1..4, 1..4]);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00001, place[1], place[2], place[3], place[4]], 0) :: defines_var(INT____00001);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00003, place[1], place[5], place[9], place[13]], 0) :: defines_var(INT____00003);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00005, place[5], place[6], place[7], place[8]], 0) :: defines_var(INT____00005);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00007, place[2], place[6], place[10], place[14]], 0) :: defines_var(INT____00007);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00009, place[9], place[10], place[11], place[12]], 0) :: defines_var(INT____00009);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00011, place[3], place[7], place[11], place[15]], 0) :: defines_var(INT____00011);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00013, place[13], place[14], place[15], place[16]], 0) :: defines_var(INT____00013);
constraint int_lin_eq([-1, 1, 1, 1, 1], [INT____00015, place[4], place[8], place[12], place[16]], 0) :: defines_var(INT____00015);
constraint int_lin_eq([1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], [place[1], place[2], place[3], place[4], place[5], place[6], place[7], place[8], place[9], place[10], place[11], place[12], place[13], place[14], place[15], place[16]], 10);
constraint int_mod(INT____00001, 2, 0);
constraint int_mod(INT____00003, 2, 0);
constraint int_mod(INT____00005, 2, 0);
constraint int_mod(INT____00007, 2, 0);
constraint int_mod(INT____00009, 2, 0);
constraint int_mod(INT____00011, 2, 0);
constraint int_mod(INT____00013, 2, 0);
constraint int_mod(INT____00015, 2, 0);
solve satisfy;