orth_on_the_ground.fzn

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;