द्वारा कार्यक्रम eclipseclp.org

ECLiPSe बाधा तर्क प्रोग्रामिंग सिस्टम को नए बाधा सॉल्वर प्रौद्योगिकी और उनके संकर के विकास के लिए, और मॉडलिंग, समाधान और खोज तकनीकों के शिक्षण के लिए संयोजन अनुकूलन समस्याओं को हल करने के लिए डिज़ाइन किया गया है।