Ongoing and Future Work - Roadmap 2011

Release 6.1

Gecode Interface
An integration of the Gecode external constraint solver library (www.gecode.org).
Improved Propagator Support
Revision of the suspension facilities and the priority system, making propagators more efficient and easier to write, plus supporting libraries.
New Global Constraints
New arc-consistent versions in library(ic_global_gac): global cardinality, 2-D versions of gcc and alldifferent, same, sequence, inverse. Also more efficient table constraints.
Development Tools
Search annotations and search tree display.

Other Ongoing Development Activities

Online ECLiPSe Course
being developed by Helmut Simonis, 4C. Envisaged to become available about May 2009.
Development and Visualisation Environment
Work on Saros (ECLiPSe/Eclipse integration) at 4C.
Generalised Propagation
Work on more general propagation facilities, including a new incarnation of lib(propia).

Your Contributions