15051506150715081509151015111512
*/ 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)); } }