If it doesn't exist yet, it would be a cool feature to have. Having binary variables x_1, x_2, ... Gurobi does rule out values for variables during optimization, right? For example, if it has decided that there's no feasible solution with x_1 = 0 or that there is at least one optimal solution with x_1 = 1, then how can I help Gurobi with additional constraints based on that new information? For example, in my model, if I know the decisions at an earlier timestep, I can restrict values in past and future time periods in a problem specific way which Gurobi might have trouble figuring out by itself (I guess). Best regards, Tobi
Please sign in to leave a comment.