I am interested in using the compute_conflict! function in JuMP, I noticed that Gurobi.jl and CPLEX.jl are cited in the documentation in a comment as available solvers. I also found that Xpress.jl has the same functionality. What is the full list of LP solvers that have this function?

We still need to fix a few things before compute_conflict works smoothly with JuMP: https://github.com/jump-dev/MathOptInterface.jl/issues/1203 I think only CPLEX, Gurobi, and Xpress at this point. It requires the underlying solver to implement IIS functionality; there is no code to do this at the …

List of JuMP solvers that have a compute_conflict! function implemented

Specific Domains Optimization (Mathematical)

bhalonen December 14, 2020, 9:05pm 3

Thanks for the quick answer.

1 Like

Topic		Replies	Views
Which JuMP solvers support compute_conflict!? Optimization (Mathematical) question , jump , optimization	9	747	March 23, 2023
SCIP constraints Optimization (Mathematical)	2	78	November 28, 2024
Have you used the IIS/conflict-refiner feature of a solver? How would you like to access it from JuMP? Optimization (Mathematical) jump	0	384	June 22, 2020
Compute conflict indexed output for gurobi Optimization (Mathematical) question , jump , optimization	1	473	September 2, 2021
Obtain and print IIS using Gurobi Optimization (Mathematical)	2	1819	August 3, 2019

List of JuMP solvers that have a compute_conflict! function implemented

Related topics