プログラム eclipseclp.org

ECLiPSe制約ロジックプログラミングシステムは、組み合わせ最適化の問題を解決し、新しい制約ソルバー技術とそのハイブリッドの開発、モデリング、解決、検索技術の教授を目的として設計されています。