记录


记录

启用API呼叫记录
类型: int
默认值: 0
最小值: 0
最大值: 1

启用API呼叫记录。启用时,Gurobi将写入一个或多个文件(命名为gurobi000.grbr或类似的)来捕获你的程序发出的Gurobi命令序列。该文件随后可以使用Gurobi命令行工具.重播放文件将重复完全相同的命令序列,当完成时将显示在Gurobi API例程中花费的时间,在Gurobi算法中花费的时间,并将表明是否有任何Gurobi环境或模型被您的程序泄漏。回放文件在技术支持的情况下特别有用。它们提供了一种简单的方式,可以向Gurobi技术支持中继导致问题或问题的Gurobi命令的确切序列。

在创建Gurobi环境(或在gurobi.env文件)。所有Gurobi命令将被记录,直到环境被释放或程序结束。将参数值更改回0无效。

有关如何从不同的api查询或修改参数值的示例,请参阅我们的参数的例子