Skip to main content

Lazy constraints and solution pruning



1 comment

  • Jaromił Najman
    Gurobi Staff Gurobi Staff

    Hi John,

    I am not sure if I fully understand your issue. You are saying that when you use callbacks to generate lazy constraints then Gurobi declares your model as infeasible. However, if you add all constraints explicitly and declare them as lazy constraints then Gurobi declares the problem as feasible. Is this correct?

    If not, could you try adding all lazy constraints explicitly to the model without declaring them as lazy and checking whether the model remains feasible? If it is not feasible, then please have a look at the Knowledge Base article How do I determine why my model is infeasible?

    If your model remains feasible, could you then share a minimal working example showing the issue (see Posting to the Community Forum)?

    Best regards,



Please sign in to leave a comment.