manbet体育手机客户端

记录

要启用记录,只需设置记录参数为1,只要您创建您的Gurobi环境。最简单的方法是用gurobi.env文件。这个文件应该包含以下行:

记录1
如果您将此文件放在与应用程序相同的目录中,那么当应用程序进行第一次Gurobi调用时,Gurobi将拾取该设置。该参数也可以通过标准设置参数修改程序在你的计划。

一旦设置了这个参数,你应该会在日志中看到以下内容:

***在recording000.grbr文件中开始记录

如果您的应用程序创建了多个Gurobi环境,您可能会看到多个这样的消息。每个都将写入不同的文件:

***开始记录在文件recording001.grbr

当您的程序运行时,Gurobi将把传递到Gurobi例程的命令和数据写入这些文件。记录将继续,直到您释放了Gurobi环境(或直到您的程序结束)。当您释放环境时,如果启用了Gurobi日志,您将看到以下消息:

***记录完成-关闭文件recording000.grbr

此时,您已经有了一个可以稍后重播的记录文件。