Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.sum |
Modifier and Type | Class and Description |
---|---|
class |
PropSumFullBoolIncr
A propagator for SUM(x_i) = y + b, where x_i are boolean variables, maintained incrementally.
|
Copyright © 2018. All rights reserved.