choco.cp.solver.constraints.integer.bool.sum
Classes
AbstractBoolSum
BoolSumStructure
EqBoolSum
GeqBoolSum
LeqBoolSum
NeqBoolSum