/** * Splits the domain of the first non-instantiated variable in the middle and branch first on the * left interval * * @param VARS list of variables * @return int strategy based on domain splits */ public static IntStrategy lexico_Split(IntVar... VARS) { return dichotomic(ISF.lexico_var_selector(), true, VARS); }