Introduction

This manual documents the major ECLiPSe libraries in particular the constaint solver libraries developed at ECRC and IC-Parc. They are enabling tools for the development and delivery of planning and scheduling applications. Since this is an area of active research and new developments, these libaries are subject to technical improvements, addition of new features and redesign as part of our ongoing work. Most of this software is now being developed and maintained in the context of the ICL-sponsored ECLiPSe-II project, but incorporates contributions from other projects at IC-Parc, in particular the European-funded CHIC-II project.

In this section we shall briefly summarize the constraint solvers that are available as ECLiPSe libraries. No examples are given here - each solver has its own documentation with examples for the interested reader.