When using SCIP solver, what is the alternative for compute_conflict!(model) to identify constraint conflicts?
You might be interested to read this post from last year: Which JuMP solvers support compute_conflict!?
See also this section of the JuMP docs: