オープンソースソフトウェアスイートです OR-Tools: MPSolver ラッパーを提供します。 線形計画の解法と 混合整数プログラミングの問題
純粋な整数プログラミングの問題を解決するには、 CP-SAT ソルバー。
例
次のページで、MPSolver の使用方法の例を示します。
- Glop を使用してスティグラー ダイエットの問題を解決する
- Glop を使用して LP の問題を解決する
- SCIP を使用して MIP の問題を解決する
- SCIP を使用してビンパッキングの問題を解決する
- CP-SAT を使用した課題の解決
- 配列を使用したモデルの定義
一般的なタスク
次のセクションでは、問題の解決に関連する一般的なタスクを示します。 LP と MIP。
時間の上限
以下の例は、特定の Google Cloud Storage バケットに対して、検索時間の上限を 15 ミリ秒に設定する方法を示しています。 Glop を使用します。
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);