记录

记录

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

记录1
如果将此文件放在同一目录中作为应用程序的同一目录中,Gurobi将在您的应用程序首次拨打Gurobi呼叫时拾取该设置。您还可以通过标准设置此参数参数修改例程在您的计划中。

设置此参数后,您应该在日志中看到以下内容:

***在文件reduct000.grbr中开始录制录制

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

***在文件录制1001.grbr中开始录制录制

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

***录制填写 - 关闭文件redows000.grbr

此时,您有一个录制文件,可以稍后重播。