基本情報

製品・サービス名OR-Tools（CP-SAT）
提供元Google LLC（オープンソース）
本社所在地米国
地域欧米
用途分類需要予測・計画
主な用途生産スケジューリング、ジョブショップ問題、段取り・設備割付の最適化
提供形態オープンソースライブラリ（オンプレミス・クラウドで実行）
主な対応業種—
価格オープンソース（無償）
日本での提供オープンソースとして公開（国内での商用サポートは未確認）
情報確認日2026年10月12日

特徴と位置づけ

OR-Toolsは、Googleが公開しているオープンソースの最適化ツール群です。その中のCP-SATは、制約プログラミングと、論理式の充足可能性を解くSAT技術を組み合わせたソルバーで、作業の開始・終了を表す区間と「重なってはいけない」という制約が多いスケジューリング問題に強い特徴があります。

VU Amsterdamの研究者によるPyJobShopの論文（arXiv 2502.13483）では、9,000以上のインスタンスで比べたところ、ジョブショップ問題でのCP-SATの平均最適性ギャップは3.40%、商用のIBM ILOG CP Optimizerは4.09%でした。無償のソルバーが商用と同等以上の水準にあることを示す結果ですが、問題の種類によって結果は変わります。

実務での判断基準は、計画に許される計算時間内に現行計画より良い解が出るかです。CP-SATは時間制限を設定でき、その時点の最良解を返すため、最適解に届かなくても実用解として使えます。最も難しいのは、段取り、代替設備、人員といった現場のルールを正しく制約として書き下すことで、ソルバーの性能より定式化の質が成果を左右します。

強み

  • 無償で使え、ジョブショップ問題では商用ソルバーと同等以上の結果を示した研究がある
  • 時間制限を設定して、その時点の最良解を実用解として使える
  • PyJobShopのようなライブラリで典型的な制約を部品として使える

検討時の注意点

  • 現場の制約の定式化は専門知識が要り、ここが最大の工数になる
  • ベンチマークの最適性ギャップは標準問題での値で、実際の工場の問題はより難しいことが多い
  • 商用サポートがないため、保守体制を自社かSIで確保する必要がある

出典

本ページは提供元からの費用負担を受けずに作成しています。掲載内容は上記「情報確認日」時点の公開情報にもとづきます。