Uses of Class
org.chocosolver.solver.constraints.nary.sum.PropSumBool
-
Packages that use PropSumBool Package Description org.chocosolver.solver.constraints.nary.sum -
-
Uses of PropSumBool in org.chocosolver.solver.constraints.nary.sum
Subclasses of PropSumBool in org.chocosolver.solver.constraints.nary.sum Modifier and Type Class Description class
PropSumBoolIncr
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
-