SCMやIoTの課題を確認するには手間いらず．
「Free (license: BSD) cross-platform (Linux, Windows, Mac etc) software, written in modern high-stream Python language, alternative to commercial frameworks with obsolete and/or banausic programming constructs like AMPL, GAMS, LINGO, AIMMS, TOMOPT's TOMLAB / TOMNET」
商用ならGurobiでも良いのですが．
「Gurobi Optimizerは，線形計画（LP），混合整数計画（MIP），二次計画（QP），混合整数二次計画（MIQP），二次制約（QCP)および混合整数二次制約（MIQCP）のための最先端の数理最適化ソルバーです．Gurobi Optimizerは，最新のハードウェアのアーキテクチャおよびマルチコア プロセッサ技術を徹底的に活用するよう設計された，先進の最適化アルゴリズムにより，高速に信頼性ある解を導き出します．」製品概要 | 株式会社オクトーバー・スカイ
OIN-ORのCooprという選択肢も．
「Coopr is a collection of Python optimization-related packages. Coopr supports a diverse set of optimization capabilities that can be used to formulate and analyze optimization applications. In particular, it include Pyomo, a Python-based modeling tool that can model abstract linear and integer programs. 」
Mathematics is the language with which God has written the universe.