制約最適化ソルバー SCOP （Solver for COnstraint Programing：スコープ） （パンフレット）
概要
SCOP （Solver for COnstraint Programing：スコープ）は，大規模な制約計画問題を高速に解くためのソルバーです．
ここで，制約計画（constraint programming）とは，従来の数理計画を補完する最適化理論の体系です．
SCOPは，組合せ最適化問題に特化した求解原理を用いるため，従来の数理計画ソルバーで解けない大規模な問題に対しても， 効率的に良好な解を探索します．
特徴
◆ 世界的に有名な最適化理論の研究者である茨木先生（京都大学名誉教授）と野々部先生（法政大学）の開発したメタヒューリスティクスを基礎としているため，世界最速クラスの探索能力を有します．そのため，超大規模な問題でも，限られた計算時間内に，極めて効率的に求解することができます．
◆ スタッフスケジューリングや時間割作成など，数理計画ソルバーでは解きにくいタイプの応用に対しても，自然なモデル化が可能です．
◆ 簡易モデリング言語によるデータ入力と，ライブラリ呼び出しによる利用が可能です．
ライブラリをご利用していただくことによって，最適化を必要とする他のシステムに組み込んで利用することができます．
◆ 研究の普及を目的としているため，お求めやすい価格でご提供しています．
無料トライアル版ダウンロード
変数の数が15までの問題が求解できるトライアルバージョンを無料配布しております．
SCOP windows64トライアル版 (zip圧縮形式）ダウンロード
SCOP windows32トライアル版（zip圧縮形式）ダウンロード
SCOP mac64トライアル版（zip圧縮形式）ダウンロード
SCOP Linuxトライアル版（zip圧縮形式）ダウンロード
◆ テキストインターフェイス
◆ Pythonインターフェイス
インストール方法ビデオ
*** インストール方法 ***
*** 使用ガイド ***
モデリング方法ビデオ
関連ドキュメントダウンロード
* Pythonインターフェイスで使用するモジュールファイル名をscop2.pyからscop.pyに変更しました．
SCOPの詳細を知るためには，以下のドキュメント（PDF形式）をご参照下さい．
関連ファイル
Python Interface Reference Manual
Python Interface Examples