Chapter 1 Introduction
This manual contains documentation for libraries which are still part
of the ECLiPSe distribution, but whose use is deprecated.
Typically, the libraries have been replaced by newer implementation which
provide similar or extended functionality.
The old documentation is provided here mainly to ease the task of porting
existing code to the newer libraries. Documentation for the new libraries
can be found in the Constraint Library Manual and the Reference Manual.
Here is a short overview of the obsolete libraries and where to find
- The numeric functionality of the finite-domain library is
subsumed by the ic interval solver library.
The symbolic domain constraints are provided by the ic_symbolic
The branch-and-bound functionality can now be found in more generic
form in the branch_and_bound library.
- Most of this set solver’s functionality is available in the
new ic_sets library.
- ic_eplex, range_eplex
- These libraries have now been removed and
replaced by standalone eplex. Chapter@4 describes how
to port your existing code from ic/range eplex to standalone eplex.