Skip to main content

Bug with "presolve"



1 comment

  • Jaromił Najman
    Gurobi Staff Gurobi Staff


    The model you construct hold redundant constraints only, they all state

    \[\sum_{i=1}^5 b_i \leq 10\\
    b_i \in \{0,1\}\]

    When these constraints are removed, the objective function is trivial as well.

    Thus, Gurobi can provide the optimal solution without actually solving it. Therefore, the presolved model is a trivial one. Please also note that as described in How does presolve work?, it is not always possible to reproduce the original model from the presolved model. In this extreme example, the only information you get from the presolved model is that your model is indeed a trivial one.

    Best regards,


Please sign in to leave a comment.

Powered by Zendesk