我有一个混合整数最优控制问题，我正在尝试通过将其重新构造为一个混合整数非线性程序来解决（即将时间范围离散化为n个时间步长）。 重新制定的MINLP格式为
min f(x,y)
g(x,y)=0
h(x,y)>=0
具有2 * n * m个连续变量x和2 * m（m-1）* n个二进制变量y。
您可以建议使用任何Python库来解决此问题吗？ 根据scipy.optimize文档，可以使用scipy.optimize.differential_evolution或scipy.optimize.shgo来解决此问题。
或者您建议尝试使用适当的求解器直接求解MIOCP。但是，我不知道用于MIOCP的任何开源Python解算器。