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: choco-solver.