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
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
