SCOP

ホーム ソフトウェア WEBアプリケーション テクニカルドキュメント ダウンロード コンサルティング リンク 人材募集 連絡先 出版物

　

制約計画ソルバー SCOP （Solver for  COnstraint Programing：スコープ） Ver. 1.0

概要

SCOP （Solver for  COnstraint Programing：スコープ）は，大規模な制約計画問題を高速に解くためのソルバーです．ここで，制約計画（constraint programming）とは，従来の数理計画を補完する最適化理論の体系です．制約論理は，組合せ最適化問題に特化した求解原理を用いるため，従来の数理計画ソルバーで解けない大規模な問題に対しても，効率的に良好な解を探索します．

特徴

世界的に有名な最適化理論の研究者である茨木先生（京都大学名誉教授）と野々部先生（法政大学）の開発したメタヒューリスティクスを基礎としているため，世界最速クラスの探索能力を有します．そのため，超大規模な問題でも，限られた計算時間内に，極めて効率的に求解することができます．
スタッフスケジューリングや時間割作成など，数理計画ソルバーでは解きにくいタイプの応用に対しても，自然なモデル化が可能です．
簡易モデリング言語によるデータ入力と，ライブラリ呼び出しによる利用が可能です．ライブラリをご利用していただくことによって，最適化を必要とする他のシステムに組み込んで利用することができます．
研究の普及を目的としているため，お求めやすい価格でご提供しています．

トライアルバージョン

変数の数が15までの問題が求解できるトライアルバージョンを無料配布しております．こちら（zip圧縮形式）からダウロードして，お試し下さい．

関連ドキュメント

SCOPの詳細を知るためには，以下のドキュメント（PDF形式）をご参照下さい．

pdficon.gif (224 バイト) 制約計画ソルバー SCOP 導入ガイド

pdficon.gif (224 バイト) 制約計画ソルバー SCOP scop.pyモジュール使用法ガイド（Python言語からの呼び出し方法）

pdficon.gif (224 バイト) 制約計画ソルバー SCOP  テクニカルドキュメント

関連ファイル

導入ガイドの例題ファイルとPythonプログラム

scop.pyモジュール本体とscop.pyモジュール使用法ガイドで使われたPythonプログラム

Python Interface Reference Manual

Python Interface Examples

学習ビデオとスライド  

学習ビデオ
scop導入ガイド スライド  
scop.pyモジュール使用法ガイド（Python言語からの呼び出し方法） スライド  

連絡先

ご興味を持たれた方は Log Opt営業部までご連絡下さい．