Package choco.cp.solver.constraints.integer.bool.sum

Class Summary
AbstractBoolSum A special case of sums over boolean variables only
BoolSumStructure A special case of sums over boolean variables only
EqBoolSum  
GeqBoolSum  
LeqBoolSum  
NeqBoolSum  
 



Copyright © 2012. All Rights Reserved.