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