Unsupported constraint only in infeasibility analysis

Specific Domains Optimization (Mathematical)
4

Hi @ohmsweetohm1,

If you’re using Gurobi, you don’t need MathOptAnalyzer to compute the conflict.

Just follow: Solutions · JuMP

It should be enough for something like:

compute_conflict!(model)
if get_attribute(model, MOI.ConflictStatus()) == MOI.CONFLICT_FOUND
    iis_model, _ = copy_conflict(model)
    print(iis_model)
end

Do you have a reproducible example for your error? It’s probably because Gurobi doesn’t support interval constraints natively, so they’re bridged, and we’re not bridging them correctly in the analyser (this is a bug).

I’ve opened an issue: Inner Optimizer does not use bridges · Issue #32 · jump-dev/MathOptIIS.jl · GitHub

1 Like