What is ECLiPSe?
ECLiPSe is an open-source software system for the cost-effective development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also ideal for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modelling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.
June 2013: Release 6.1 is available.
June 2013: Chris Meudec contributed the Path Traversal Conditions Solver, which finds application in the area of program analysis, symbolic execution, and software testing.
ICLP Best Paper Award for ECLiPSe-based application paper
July 2011: The application paper Optimal Placement of Valves in a Water Distribution Network with CLP(FD) fetched the Best Paper Award at the ICLP 2011 conference. It explains an application of CLP(FD) to a problem in hydraulic engineering that was developed in ECLiPSe. Congratulations to Marco Gavanelli (a frequent contributor on our mailing list) and his colleagues!
March'11: Starting from release 6.0#175, ECLiPSe supports Minizinc 1.3. The libraries lib(minizinc) and lib(flatzinc) were first released in Feb'08 as one of the first complete implementations of the MiniZinc modelling language. They allow ECLiPSe users to use MiniZinc together with ECLiPSe's constraint solvers. Furthermore, MiniZinc models can be embedded into ECLiPSe code in order to add user-defined search and I/O facilities to the models.
December 2010: We are pleased to announce the availability of two new publications about ECLiPSe: the text book A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe by Antoni Niederliński (free pdf), and the forthcoming TPLP journal article ECLiPSe - from LP to CLP by J. Schimpf and K. Shen.
The ECLiPSe Text Book
The book Constraint Logic Programming using ECLiPSe by Krzysztof Apt and Mark Wallace is a practical introduction to constraint programming and to ECLiPSe, with many examples, appropriate for self study or a one-semester course.
Open-Sourcing and Release 5.10
ECLiPSe was open-sourced by Cisco under a Mozilla-style Public Licence in September 2006. The official source repository and other development resources are at http://www.sourceforge.net/projects/eclipse-clp. The first release made from the open source was release 5.10.
Search This Site