ソルバーのメーカーや取扱い企業、製品情報、参考価格、ランキングをまとめています。
イプロスは、 製造業 BtoB における情報を集めた国内最大級の技術データベースサイトです。

ソルバー - 企業ランキング(全10社)

更新日: 集計期間:2025年05月28日〜2025年06月24日
※当サイトの各ページの閲覧回数を元に算出したランキングです。

会社名 代表製品
製品画像・製品名・価格帯 概要 用途/実績例
対応OS環境: Windows 64-bit Mac OS 64-bit   Linux (Ubuntu) 64-bit ベンチマーク結果リンク:http://www.logopt.com/download/optseq_benchmark_result.pdf JSP(ジョブショップスケジューリング (メイクスパーン最小化))に対するベンチマーク RCPSP/max(資源制約付き,作業間の時間制約付きプロジェクトスケジューリング問題)に対するベンチマーク 上記の2種類のベンチ-マークは,解の精度のみを競うもので,求解時間制限もなく,問題に特化したアルゴリズム作成やチューニングを行っても大丈夫ですが,OptSeqはデフォルトのパラメータで,アルゴリズムカスタマイズもなしで実験しました. Googleの OR-toolesとも比較を行い,問題規模が大きくなるとOptSeqが良い解を出す(同じ時間)ことが確認できました. 用途: 手動と自動作業が混在する生産スケジューリング 化学工場の生産スケジューリング 鋳造日程計画 造船工程計画 パイプライン修復スケジューリング 点検作業のスケジューリング 半導体工場の生産スケジューリング 配船スケジューリング(資源の輸入など)  各種生産スケジューリングなど
配送最適化システムのAPIとして提供します. 難しい数式による定式化やプログラミングは不要で,規定の書式でデータ入力すると規定の書式の結果を返します. ベンチ-マーク問題や実際問題での性能(一例): ・VRPTW(Solomon benchmark)ベンチマーク:100ジョブインスタンス,計算時間中央値が484ms,解の精度の中央値は+1.2% ・PDPTW(Li&Lim benchmark)ベンチマーク:100ジョブインスタンス,計算時間中央値が130ms,解の精度の中央値は+0.1% ・様々な制約付き(時間帯指定,休憩考慮,重量と容量制限考慮,車格や車種などの制限考慮)の実際問題への適用例では,800地点の問題でも数十秒で現状より10%以上良い結果が出ています.(現状からの改善は現状がどれほど効率的だったか,考慮制約や問題規模などによっても異なります.中には30%以上改善されるケースもあります.)
対応OS環境: Windows 64-bit Mac OS 64-bit   Linux (Ubuntu) 64-bit ベンチマーク結果: 時間割作成第2回国際コンペテーションITC2007:Track1(試験時間割):3位,Track2(大学時間割):2位,Track3(高校時間割):3位(3トラック全てで3位以内に入ったのはSCOPのもとになったアルゴリズムだけ) ナーススケジューリングシフト作成第1回国際コンペテーションINRC 2010:Track1(10秒):2位,Track2(10分):3位,Track3(10時間):4位  用途: 幅広い組合せ最適化問題を解くことが可能で,割当問題に対しては,人が理解しやすい非常に自然なモデリングが可能で,高速に良い答えを出すことが可能です. 人員配置最適化 会議スケジューリング 仕事割当 部屋の割当 生産最適化 投入順決定 広告割当 など 人員配置最適化でシフトと業務を同時に考慮した最適化(割り当てられたシフトの中でどの業務を何時から何時まで行うかを決める問題で,日単位や3交代制などシフト作成より大分難しい)でも80人,30分単位の1ヶ月分のスケジュール作成で十数分で良い解が出ます.(SCOPはユーザが設定した計算時間内で最も良い解を出す仕組み)
---

---

--- ---
  1. 代表製品
    スケジューリング最適化ソルバーOptSeqスケジューリング最適化ソルバーOptSeq
    概要
    対応OS環境: Windows 64-bit Mac OS 64-bit   Linux (Ubuntu) 64-bit
    用途/実績例
    ベンチマーク結果リンク:http://www.logopt.com/download/optseq_benchmark_result.pdf JSP(ジョブショップスケジューリング (メイクスパーン最小化))に対するベンチマーク RCPSP/max(資源制約付き,作業間の時間制約付きプロジェクトスケジューリング問題)に対するベンチマーク 上記の2種類のベンチ-マークは,解の精度のみを競うもので,求解時間制限もなく,問題に特化したアルゴリズム作成やチューニングを行っても大丈夫ですが,OptSeqはデフォルトのパラメータで,アルゴリズムカスタマイズもなしで実験しました. Googleの OR-toolesとも比較を行い,問題規模が大きくなるとOptSeqが良い解を出す(同じ時間)ことが確認できました. 用途: 手動と自動作業が混在する生産スケジューリング 化学工場の生産スケジューリング 鋳造日程計画 造船工程計画 パイプライン修復スケジューリング 点検作業のスケジューリング 半導体工場の生産スケジューリング 配船スケジューリング(資源の輸入など)  各種生産スケジューリングなど
    配送最適化ソルバーMETRO配送最適化ソルバーMETRO
    概要
    配送最適化システムのAPIとして提供します. 難しい数式による定式化やプログラミングは不要で,規定の書式でデータ入力すると規定の書式の結果を返します.
    用途/実績例
    ベンチ-マーク問題や実際問題での性能(一例): ・VRPTW(Solomon benchmark)ベンチマーク:100ジョブインスタンス,計算時間中央値が484ms,解の精度の中央値は+1.2% ・PDPTW(Li&Lim benchmark)ベンチマーク:100ジョブインスタンス,計算時間中央値が130ms,解の精度の中央値は+0.1% ・様々な制約付き(時間帯指定,休憩考慮,重量と容量制限考慮,車格や車種などの制限考慮)の実際問題への適用例では,800地点の問題でも数十秒で現状より10%以上良い結果が出ています.(現状からの改善は現状がどれほど効率的だったか,考慮制約や問題規模などによっても異なります.中には30%以上改善されるケースもあります.)
    制約最適化ソルバーSCOP制約最適化ソルバーSCOP
    概要
    対応OS環境: Windows 64-bit Mac OS 64-bit   Linux (Ubuntu) 64-bit
    用途/実績例
    ベンチマーク結果: 時間割作成第2回国際コンペテーションITC2007:Track1(試験時間割):3位,Track2(大学時間割):2位,Track3(高校時間割):3位(3トラック全てで3位以内に入ったのはSCOPのもとになったアルゴリズムだけ) ナーススケジューリングシフト作成第1回国際コンペテーションINRC 2010:Track1(10秒):2位,Track2(10分):3位,Track3(10時間):4位  用途: 幅広い組合せ最適化問題を解くことが可能で,割当問題に対しては,人が理解しやすい非常に自然なモデリングが可能で,高速に良い答えを出すことが可能です. 人員配置最適化 会議スケジューリング 仕事割当 部屋の割当 生産最適化 投入順決定 広告割当 など 人員配置最適化でシフトと業務を同時に考慮した最適化(割り当てられたシフトの中でどの業務を何時から何時まで行うかを決める問題で,日単位や3交代制などシフト作成より大分難しい)でも80人,30分単位の1ヶ月分のスケジュール作成で十数分で良い解が出ます.(SCOPはユーザが設定した計算時間内で最も良い解を出す仕組み)