[gecode-users] bin_packing with 0 item sizes

[Kish Shen]

Hi,

In writing unit tests for ECLiPSe's Gecode interface, I noticed that for 
the bin packing constraint, if an item size is 0, then its corresponding 
bin variable is not constrained:

binpacking(home, l, b, s) where

b = {b1, b2}

s = {0, 1}

then b2 is constrained to [0,1], but b1's domain is not constrained 
(i.e. has whatever the domain it was given).

Cheers,

Kish