11 lines
374 B
MiniZinc
11 lines
374 B
MiniZinc
|
array [1..4] of var 1..9: element_table :: output_array([1..4]);
|
||
|
|
var 5..5: x :: output_var = 5;
|
||
|
|
var 3..3: y :: output_var = 3;
|
||
|
|
var 5..45: z;
|
||
|
|
constraint int_eq(element_table[1], 6);
|
||
|
|
constraint int_eq(element_table[2], 9);
|
||
|
|
constraint int_eq(element_table[3], 2);
|
||
|
|
constraint int_eq(element_table[4], 9);
|
||
|
|
constraint int_lin_eq([-1, 5], [z, element_table[3]], 0);
|
||
|
|
solve satisfy;
|