Pyomo-求解器通信

Question

我想知道pyomo脚本传递给求解器的是什么信息(例如Cbc)。具体地说，我想问的是，无论我编写了什么约束和目标函数，求解器是否要求python进行这些函数的计算，或者它们是用求解器编写的语言完成的。

Answer 1

计算是用编写求解器的语言完成的。在大多数情况下，Pyomo会将您的模型输出到一个文件中，分别针对线性模型和非线性模型使用.lp或.nl格式。求解器将读取该文件，创建其自己的模型表示法，解决问题，并写入包含解决方案的.sol文件。然后，Pyomo将读取.sol文件，并将解决方案加载回Python中的Pyomo模型。此工作流程的一个例外情况是，如果您使用Gurobi的直接或持久接口。在这种情况下，不会编写文件，但我相信所有的计算仍然是在求解器的语言中完成的。