升级令牌服务器

升级令牌服务器

要从Gurobi Optimizer的早期版本升级令牌服务器，您需要执行以下步骤(在运行令牌服务器的机器上):

停止旧的令牌服务器。
安装新版的Gurobi优化器。
升级您的许可证文件(或修改GRB_LICENSE_FILE指向新的许可文件)。
启动新的令牌服务器。