List of JuMP solvers that have a compute_conflict! function implemented

Specific Domains Optimization (Mathematical)
1

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?

2

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 Julia level.

1 Like
3

Thanks for the quick answer.

1 Like