Module org.chocosolver
Package org.chocosolver.solver.constraints.nary.sum

Class Summary Class Description 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.