The point of JuMP is that you shouldn’t need to explicitly test Gurobi.
If it works with GLPK, and the user can pass their own optimizer, then that’s enough.
The point of JuMP is that you shouldn’t need to explicitly test Gurobi.
If it works with GLPK, and the user can pass their own optimizer, then that’s enough.