507508509510511512513
* <b>DEFAULT</b>: * <br/> * Uses BC plus a probabilistic AC propagator to get a compromise between BC and AC */ public static Constraint alldifferent(IntVar[] VARS, String CONSISTENCY) { return new AllDifferent(VARS, CONSISTENCY); }