制約最適化ソルバーSCOP
大規模組合せ最適化問題を高速に解く
SCOP （Solver for COnstraint Programing：スコープ）は，大規模な組合せ最適化問題を高速に解くためのソルバーです． SCOPでは，組合せ最適化問題に特化した求解原理を用いるため，従来の数理最適化ソルバーで解けない大規模な問題に対しても， 効率的に良好な解を探索可能です． 特徴： 数理最適化ソルバーと異なる方法で変数を定義するため，大幅に変数を減らすことができ，高速な求解が可能です． 数理最適化ソルバーより（人が理解しやすい）自然な論理制約記述が可能です． メタヒューリスティクスを基礎としているため，世界最速クラスの探索能力を有します． 大規模な問題でも，限られた計算時間内に，極めて効率的に求解することがでます． 簡易モデリング言語によるデータ入力とPython言語インターフェイスを用意しています．
- 企業：有限会社ログ・オプト
- 価格：応相談
