升级令牌服务器

升级令牌服务器

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

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