Я пытаюсь решить MINLP, и я использую Pyomo и Spyder. Я ищу бесплатный глобальный решатель для многих переменных и ограничений, и он должен соответствовать Pyomo. Барон - глобальный решатель, но ему нужна лицензия для более чем 10 переменных и 10 ограничений. Я использовал солитер Knitro, но это местный солвер и он застрял в локальном оптимуме. Какой решатель вы порекомендуете?