Bin packing constraints
[Using integer variables and constraints]
|void||Gecode::binpacking (Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntConLevel icl=ICL_DEF)|
|Post propagator for bin packing. |
Constraints for modeling bin packing problems. Propagation follows: Paul Shaw. A Constraint for Bin Packing. CP 2004.
|const IntVarArgs &||l,|
|const IntVarArgs &||b,|
|const IntArgs &||s,|
|IntConLevel|| icl = |
Post propagator for bin packing.
The variables in l are the loads for each bin, whereas the variables in b define for each item into which bin it is packed. The integer values s define the size of the items.
It is propagated that for each with the constraint holds and that for each with the constraint holds.
Throws the following exceptions: