SCOP

制約最適化ソルバー SCOP (Solver for  COnstraint Programing:スコープ) (パンフレット

 

概要

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

 

特徴

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

 

無料トライアル版ダウンロード

変数の数が15までの問題が求解できるトライアルバージョンを無料配布しております. 

SCOP windows64トライアル版 (zip圧縮形式)ダウンロード

SCOP windows32トライアル版(zip圧縮形式)ダウンロード

SCOP mac64トライアル版(zip圧縮形式)ダウンロード

SCOP Linuxトライアル版(zip圧縮形式)ダウンロード

 

◆ テキストインターフェイス

  例題集   スライド

◆ Pythonインターフェイス

  例題集   スライド

 

インストール方法ビデオ

 *** インストール方法 *** 

 

 *** 使用ガイド *** 

 

モデリング方法ビデオ

◆ 1. SCOPによる制約最適化のモデリングと事例

◆ 2. SCOPとは,特徴とPythonインターフェース

◆ 3. 仕事割当問題

◆ 4. 仕事割当問題2

◆ 5. 生産割当問題

◆ 6. 投入順決定問題

◆ 7. 部屋割当問題

◆ 8. 人員割当問題

◆ 9. 初期解決定とまとめ

 

 

関連ドキュメントダウンロード

* Pythonインターフェイスで使用するモジュールファイル名をscop2.pyからscop.pyに変更しました.

SCOPの詳細を知るためには,以下のドキュメント(PDF形式)をご参照下さい.

pdficon.gif (224 バイト) テキストインターフェイス使用ガイド

pdficon.gif (224 バイト) pythonインターフェイス使用ガイド

pdficon.gif (224 バイト) テクニカルドキュメント

 

関連ファイル

Python Interface Reference Manual

Python Interface Examples