zero_sum_propagator
Transformation to propagate a zero value to terms of a sum.
Classes
|
Propagates fixed-to-zero for sums of only positive (or negative) vars. |
Transformation to propagate a zero value to terms of a sum.
Classes
|
Propagates fixed-to-zero for sums of only positive (or negative) vars. |