Gurobi Optimizerは、第三者機関が実施したベンチマークにおいても世界最高速をたたき出している、数理最適化の最新革新技術を取り入れた、高性能な線形(LP)、混合整数(MIP)、二次計画(QP)および混合二次整数計画(MIQP)ソルバーです。
AIMMSは、線形計画(LP)、非線形計画(NLP)、混合整数計画(MIP)などの市場において主要な各ソルバーに対応した、表現力豊かなグラフィカル ユーザ インターフェースを有する、高性能な応用開発モデリング ツールです。
AMPLは、離散および連続変数における線形計画(LP)、非線形計画(NLP)、混合整数計画(MIP)などのための包括的でパワフルな代数モデリング言語です。 大規模な最適化問題を効率よくモデル化するための、開発者が使い易いインターフェースを有しています。