if_osiclpcbc.tgz (if_osiclpcbc.tgz( 外部リンク: SF.net): 2,856,714 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。
ECLiPSe Constraint Logic Programing System (ECLiPSe制約論理プログラミングシステム)は、組合せ最適化問題の解決、および、新しい制約ソルバー技術とその合成種の開発ばかりでなく、モデリングの教育、検索技術の解決も視野に入れて設計されています。