[gecode-users] multi-dimensional bin-packing constraint - bin capacities

[Kish Shen]

Hi,

I am updating ECLiPSe's Gecode interface to Gecode 4.3, and I am adding 
support for the multi-dimensional bin-packing constraint.

I have a small question about the arguments for the constraint:

binpacking(home, d, l, b, s, c)

has the capacities argument c that is not found in the 1-D bin-packing 
constraint:

binpacking(home, l, b, s)

My understanding is that for this form of the constraint, c is 
implicitly specified by l, the loads, i.e. the domains of each bin is 
specified by the domain in the load variable for that bin.

It seems to me that the values for c is also implicitly specified for 
the multi-dimensional case, and can be derived from l, as the maximum 
domain value of all the variables in l for each dimension. I am thinking 
of providing the constraint in this form so that it looks more like the 
1-D version. Does this make sense?

Cheers,

Kish