What is the ECLiPSe Constraint Logic Programming System?
ECLiPSe is a software system for the development and deployment of constraint programming and Constraint logic programming applications. It contains several constraint solver libraries, a high-level modelling and control language, interfaces to third-party solvers, a development environment and interfaces for embedding into host environments.