SCIP Optimization Suite является одним из самых быстрых решателей MIP и MINLP, доступных в исходном коде. PySCIPOpt , его интерфейс с Python, может быть немного медленнее при построении модели, но время решения все еще хорошее, так как он работает с чистой библиотекой SCIP C в фоновом режиме.
Если честно,У меня нет опыта работы с oj!Алгоритмы и не могут сказать, насколько хорош этот решатель.По-видимому, он позволяет связываться с Gurobi или CPLEX, так что в этом случае предположим, что это в основном оболочка для моделирования вокруг этих API, обеспечивающих высокую производительность.
В конце концов, все сводится к вашим предпочтениям / требованиям к моделированию и конкретным проблемам.