I have a JuMP.jl model that I solve using Gurobi. For some cases (data) it is infeasible. I am using MathOptAnalyzer.jl to generate an infeasibility report: MathOptAnalyzer.analyze(MathOptAnalyzer.Infeasibility.Analyzer(), model; optimizer=optimizer) However, it fails with MathOptInterface.Unsup…

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(m…

Unsupported constraint only in infeasibility analysis

Specific Domains Optimization (Mathematical)

ohmsweetohm1 February 18, 2026, 7:22pm 5

So MathOptAnalyzer is not dispatching to compute_conflict! if the solver supports it?

Topic		Replies	Views
Infeasibility Optimization (Mathematical) question	1	335	March 3, 2020
Have you used the IIS/conflict-refiner feature of a solver? How would you like to access it from JuMP? Optimization (Mathematical) jump	0	386	June 22, 2020
Computing Irreducible Inconsistent Subsystem (IIS) to find infeasibility causes Optimization (Mathematical)	2	447	July 22, 2023
How to Find the constraints which are causing infeasibility in the model using compute_iis in Gurobi Optimization (Mathematical) jump	1	215	July 5, 2023
Gurobi compute IIS in Julia Optimization (Mathematical) gurobi	1	118	May 27, 2025

Unsupported constraint only in infeasibility analysis

Related topics