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