最適な意思決定を支援するGurobi Optimizer、AIMMS、そしてAMPL
Gurobi Optiomizerは、米国アリゾナ州立大学 Mittlemann博士のソルバー比較ベンチマークにおいて、最速の結果を出しています。詳細は下記リンクよりご参照ください。
数理計画問題を中心とした、最適化問題用ソルバーのベンチマークテストの実施および、その評価で世界的に著名な教授。