Gurobi 8.0


#1

What’s the process to switch to the new Gurobi release (8.0) ?


#2

I have not tried it yet but I believe the process should be:

  1. Install gurobi 8.0
  2. Set your GUROBI_HOME variable to the new installation
  3. julia> Pkg.build("Gurobi")

#3

GUROBI_HOME was already changed and and Pkg.build(“Gurobi”) didn’t do it. I had to remove the package and reinstall it.