重播录制文件
重播录制文件
如果你生成了一个记录您的程序制作的Gurobi API调用中，您可以使用命令行工具重播此录制。
录制存储在文件中.grbr.扩展。从名为的文件重播录制recording000.grbr.发出以下命令：
gurobi_cl redown000.grbr.您应该调整文件名以匹配要重播的录制。
如果您在命令行工具的开头看到类似于以下内容的行，您会知道您已成功重播录制，请执行以下操作：
*重播*重放文件'redows000.grbr'
*重播*录制捕获的Tue sep 13 19:28:48 2021
*重播*使用Gurobi版本9.1.2（Linux64）拍摄录制
有关录制API调用并重播它们的信息，请参阅录制API呼叫章节。