Uses of Package
org.chocosolver.solver.constraints.nary.sum
-
Packages that use org.chocosolver.solver.constraints.nary.sum Package Description org.chocosolver.solver.constraints.nary.sum -
Classes in org.chocosolver.solver.constraints.nary.sum used by org.chocosolver.solver.constraints.nary.sum Class Description 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.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.