Is there a way to get some more information about why a JuMP.Model is infeasible, like e.g. Gurobi has?
See Easy way to determine constraints and/or variables leading to failed solving? · Issue #2185 · jump-dev/JuMP.jl · GitHub I just updated my post with an example.