SCOP

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

概要

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

特徴

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

トライアルバージョン

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

学習ビデオとスライド

	導入ガイドとscop.pyモジュール使用法ガイドの解説
	scop導入ガイドスライド
	scop.pyモジュール使用法ガイド（Python言語からの呼び出し方法）スライド

連絡先

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

概要

特徴

トライアルバージョン

関連ドキュメント

関連ファイル

学習ビデオとスライド

連絡先