What’s the process to switch to the new Gurobi release (8.0) ?
I have not tried it yet but I believe the process should be:
- Install gurobi 8.0
- Set your
GUROBI_HOMEvariable to the new installation
GUROBI_HOME was already changed and and Pkg.build(“Gurobi”) didn’t do it. I had to remove the package and reinstall it.