The ECLiPSe Constraint Programming System

News

New Interfaces

Two ECLiPSe interfaces were contributed recently: the Python interface by Oreste Bernardi, and the PHP interface by Andrea Montemaggio.

ICLP Best Paper Award for ECLiPSe-based application paper

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!

Web site

August 2011: We have recently moved the web site to a larger server, and our IP address has changed. Should you have any links pointing explicitly to 87.230.22.28, please use the domain name eclipseclp.org (no hyphen) instead.

MiniZinc Update

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.

New Publications

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.

Release 6.0

Release 6.0 has significant changes "under the hood", in particular a new compiler and source tracing facilities. We are grateful for feedback regarding any problem or incompatibilities! Regular updates are made available here.

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.

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.

Search This Site