Embedded Files
AMPLのモデルはソルバーに依存しない形で記述できるため、ソルバーごとにモデルを書き換える必要がなく、複数種類のモデリングを行う手間を省くことが可能です。
弊社では、AMPLと連携してご利用いただける以下の商用ソルバーを取り扱っております。
Gurobi、CPLEX、Xpress、COPT、Knitro、CONOPT、MINOS、SNOPT、Baron
AMPLライセンスをご購入いただいたお客様は、オプションとしてこれらの商用ソルバーもあわせてご購入いただけます。
一部の商用ソルバーに関しましては、お客様がすでにお持ちのライセンスをAMPLと連携してご利用いただくことが可能です。
AMPLの詳細につきましては、「AMPL」ページをご参照ください。
Gurobi Optimizer
線形最適化（LP）、混合整数最適化（MIP）、および二次最適化（QP）に対応する業界屈指のソルバーで、その卓越した高速性、ロバスト性、スケーラビリティで知られています。
IBM ILOG CPLEX
大規模な線形最適化および混合整数最適化問題を高性能に解くソルバーで、ロバストなアルゴリズムが特長です。
FICO Xpress
複雑な線形および混合整数モデル向けの先進的ソルバーで、高い性能と柔軟性を提供します。
COPT
線形・整数最適化画問題に対応する競争力のあるソルバーで、速度とスケーラビリティ、最新のアルゴリズム革新に最適化されています。
Artelys Knitro
先進的アルゴリズムを備えた大規模最適化向けの非線形ソルバーです。
CONOPT
スムーズな非線形問題に適したソルバーで、工学や経済分野で広く使われています。
SNOPT
航空宇宙や工学分野に特に適した、疎な大規模非線形モデル向けに最適化されたソルバーです。
MINOS
制約付き非線形最適化問題に対して信頼性の高いソルバーで、エネルギーや物流分野でよく用いられています。
Baron
非凸問題に対してグローバル最適性を保証する強力なグローバル最適化ソルバーです。
オープンソース最適化ソルバー
AMPLは多数のオープンソースソルバーとも連携してご利用いただけます。以下はAMPLと連携可能な主なオープンソースソルバーです。
CBC
COIN Branch and Cut solver（CBC）は、C++で書かれたオープンソースの混合整数最適化（MIP）ソルバーです。CBCは、www.coin-or.org にて John Forrest 氏が主導するアクティブなオープンソースプロジェクトです。
HiGHS
HiGHSは、線形最適化（LP）・混合整数最適化（MIP）・凸2次最適化（QP）を解くためのオープンソースソフトウェアです。C++で開発され、MITライセンスのもと公開されています。C、Python、Julia、Rust、JavaScript、Fortran、C# など、複数の言語インターフェースを提供しております。
SCIP
SCIP（Solving Constraint Integer Programs）は、現在入手可能な中で最も高速な非商用のMIPおよびMINLP（混合整数非線形最適化）ソルバーのひとつです。さらに、制約整数最適化やbranch-cut-and-price法のためのフレームワークとしても機能します。SCIPは、ソルバー内部の処理にまでアクセスでき、解法プロセス全体を完全に制御できる柔軟性を備えています。
Report abuse