List of JuMP solvers that have a compute_conflict! function implemented

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:

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

Thanks for the quick answer.

1 Like