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