Using implies on constraint sometimes fails


Using the logical constraint implies with the first argument being a constraint can easily lead to numerically sensitive models, and should thus be avoided. You should partition your logical model to a set of cases and then use a binary variable for each case, implying a set of constraints.