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