void binpacking(Home home, const IntVarArgs &l, const IntVarArgs &b, const IntArgs &s, IntPropLevel)
Post propagator for bin packing.
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Class to set group information when a post function is executed.