1 comment

• Gurobi Staff

Hi Tobi,

Usually, Gurobi's presolve algorithm and probing procedures should detect such implications. Of course, there can be exceptions. If you really want to make sure that no implication is missed, you could experiment with using Gurobi's and constraints and compare solver's performance. Since the and constraints take only single variables as input, you will have to add auxiliary variables $$x^n_{t} = 1- x_{t}$$.

Best regards,
Jaromił