* @param VARS a vector of boolean variables
* @param SUM a variable
*/
public static Constraint sum(BoolVar[] VARS, IntVar SUM) {
if (VARS.length > 10) {
return new Constraint("SumOfBool", new PropBoolSumIncremental(VARS, SUM));
} else {
return new Constraint("SumOfBool", new PropBoolSumCoarse(VARS, SUM));
}
}