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