IntLinCombFactory 
A factory to reduce and detect specific cases related to integer linear combinations.

PropScalar 
A propagator for SUM(x_i*c_i) = b
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.

PropSum 
A propagator for SUM(x_i) o b
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.

PropSumBool 
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.

PropSumBoolIncr 
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.

PropSumFullBool 
A propagator for SUM(x_i) = y + b, where x_i are boolean variables
Based on "Bounds Consistency Techniques for Long Linear Constraint"
W.

PropSumFullBoolIncr 
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.

SumConstraint 
Project: chocosolver.
