一个令牌服务器升级

升级你的令牌服务器从较早版本的Gurobi优化器,您需要执行以下步骤(令牌服务器的机器上运行):

  1. 停止旧的令牌服务器。
  2. 安装新版本的Gurobi优化器。
  3. 升级你的许可文件(或修改GRB_LICENSE_FILE指向新的许可证文件)。
  4. 开始新的令牌服务器。