You might be interested to read this post from last year: Which JuMP solvers support compute_conflict!?
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| List of JuMP solvers that have a compute_conflict! function implemented | 2 | 656 | December 14, 2020 | |
| Which JuMP solvers support compute_conflict!? | 9 | 815 | March 23, 2023 | |
| Have you used the IIS/conflict-refiner feature of a solver? How would you like to access it from JuMP? | 0 | 389 | June 22, 2020 | |
| Compute conflict indexed output for gurobi | 1 | 492 | September 2, 2021 | |
| Lazy constraints are not supported by SCIP.jl while JuMP doesn't mention it | 2 | 133 | July 16, 2024 |