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