11 lines
362 B
MiniZinc
11 lines
362 B
MiniZinc
array [1..6] of var 1..5: orthotope :: output_array([1..2, 1..3]);
|
|
var 1..1: vertical_dim = 1;
|
|
constraint int_eq(1, orthotope[1]);
|
|
constraint int_eq(2, orthotope[2]);
|
|
constraint int_eq(2, orthotope[4]);
|
|
constraint int_eq(3, orthotope[3]);
|
|
constraint int_eq(3, orthotope[5]);
|
|
constraint int_eq(5, orthotope[6]);
|
|
constraint int_eq(orthotope[1], 1);
|
|
solve satisfy;
|