News
Workshop on Open-Source Software for Integer and Constraint Programming 2008
ECLiPSe was presented at the OSSICP workshop during the CPAIOR 2008 conference (ppt, pdf).
MiniZinc Implementation 
We are pleased to announce that, starting from build 5.10#114, we include lib(minizinc) and lib(flatzinc). This represents one of the first complete implementations of the MiniZinc modelling language, and allows 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. Updated for Minizinc 0.8 starting from ECLiPSe 5.10#134.
Graph Constraint Solver
Ruben Viegas has contributed GRASPER, a constraint solver over graphs. It is distributed as lib(grasper) with recent builds of ECLiPSe 5.10 (as part of the eclipse_misc package). A background paper is here.
CP 2007 Tutorial and ASOR 2007 Presentation
A short tutorial (ppt, pdf) was presented at the CP 2007 Conference, and a talk on consistency techniques (ppt, pdf) given at ASOR 2007.
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. The next major release, currently under development, will be 6.0, which includes a new compiler.
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.