Skip to content

Add gurobi 11

Daniel Filipe Jana requested to merge packages/gurobi into main

Maybe to merge before the externals which would install only gurobi 11, I suppose

Merge request reports