zero_sum_propagator

Transformation to propagate a zero value to terms of a sum.

Classes

ZeroSumPropagator(**kwds)

Propagates fixed-to-zero for sums of only positive (or negative) vars.