我有一个混合整数非凸非线性规划问题，它需要永远解决。我通过 pyomo 使用 Couenne，而 couenne 是基于分支和绑定的。所以全局优化是有算法保证的。
基本上，我用 midaco 来解决同样的问题，而且速度要快得多。但是，由于 midaco 是基于蚁群的，因此无法保证全局优化。
我首先尝试使用 midaco 的解作为 couenne 的初始值，对速度没有任何提升。然后我想使用从 midaco 获得的目标值作为 couenne 求解器的上限（这是一个最小化问题）。但是，pyomo 只能设置 sense = 最小化。有人知道如何设置 pyomo 的停止标准吗？