私は現在 googles or-tools を評価していますが、それ自体が実際にはソルバーではなく、主に他のソルバーへのインターフェースであることに気付きました。私が知りたいのは、このフレームワークが制約とルーティングの問題に使用するソルバーです。
私はすでにhttps://developers.google.com/optimization/を徹底的に調べましたが、それしか見つかりませんでした
- 線形最適化には Google の「社内オープンソース GLOP」を使用
- ネットワーク フローの最適化には、独自のソルバーが使用されているようです (「OR-Tools は、グラフ ライブラリでネットワーク フローの問題に対して複数のソルバーを提供しています。」)
- 混合整数プログラミングの場合、オープンソース プログラム「COIN OR branch&cut」がデフォルトで使用されます (ただし、SCIP、GLPK、Gurobi は統合できます)。
しかし、CP & VRP 情報/ガイド サイトでは、これらの問題にどのソルバーが使用されているかについての指示はありません...
CSP / VRP にどのソルバーが使用されているか知っている人はいますか?