// min of all vars. public static IntExpr Min(this IntVar[] vars) { Solver solver = GetSolver(vars); return(solver.MakeMin(vars)); }