manbet体育手机客户端
记录
要启用记录,只需设置记录参数为1,只要您创建您的Gurobi环境。最简单的方法是用gurobi.env
文件。这个文件应该包含以下行:
记录1如果您将此文件放在与应用程序相同的目录中,那么当应用程序进行第一次Gurobi调用时,Gurobi将拾取该设置。该参数也可以通过标准设置参数修改程序在你的计划。
一旦设置了这个参数,你应该会在日志中看到以下内容:
***在recording000.grbr文件中开始记录
如果您的应用程序创建了多个Gurobi环境,您可能会看到多个这样的消息。每个都将写入不同的文件:
***开始记录在文件recording001.grbr
当您的程序运行时,Gurobi将把传递到Gurobi例程的命令和数据写入这些文件。记录将继续,直到您释放了Gurobi环境(或直到您的程序结束)。当您释放环境时,如果启用了Gurobi日志,您将看到以下消息:
***记录完成-关闭文件recording000.grbr
此时,您已经有了一个可以稍后重播的记录文件。