Atur cara mengikut eclipseclp.org

Sistem Pengaturcaraan Logik Kekangan ECLiPSe direka untuk menyelesaikan masalah pengoptimuman kombinatorial, untuk pembangunan teknologi penyelesai kekangan baru dan hibrid mereka, dan untuk pengajaran pemodelan, penyelesaian