About JuMP.is_solved_and_feasible

[WalterMadelim]

@odow

valid if primal_status(model) == FEASIBLE_POINT. If primal status is something else, then “it depends”. There is no universal way to check a status to see if the solver found a valid bound.

Yes, there are circumstances where we have no primal solution but the JuMP.objective_bound functions (verb) properly, and it may function properly both in pure-LP and MIP. I can furnish code instances to reproduce this situation, with Gurobi.