Version 5.1.3 (May 12 2001)
This is a bug fix release.
- Fixed 5.1.2 problem with compilation from the console.
- Fixed problem with the profiler reporting the wrong predicates.
- Fixed problem with unreliable timers on Windows.
- The pdf documentation uses embedded type 1 fonts, so they display better on-screen.
- Various fixes to error checking in builtins
This version was withdrawn because of a bug in the compile(user)
functionality in the command line version. Should you have downloaded
this version, please upgrade!
Version 5.1.1 (Feb 20 2001)
This is a bug fix release. Problems in the following areas
have been fixed (among others):
- tkeclipse problems with spaces in path names
- tkeclipse problems with special characters in data
(this fix means that we now absolutely require Tcl/Tk >= 8.3)
- display_matrix on lists
- lib(eplex) interface to XPRESS-MP fixed and upgraded to latest release
- lib(eplex) support for obsolete CPLEX 4 dropped
- lib(repair) inconsistencies
- lib(fd_search) options
- lib(iso), lib(quintus), lib(sicstus) improved compatibility
- fixes to unget/1, fork/2
- improved error checking in several places
- updated documentation
- and more...
Version 5.1 (Nov 22 2000)
This release contains several new libraries plus minor improvements
and bug fixes. It is otherwise completely compatible with release 5.0.
- Interface to the daVinci graph visualization system
The new library daVinci provides an interface to the
daVinci graph visualization system. If you want to use this functionality,
you need to get daVinci separately from
- New finite domain search library
The new library fd_search provides a generic search routine for
finite domain problems, including the option of visualising the search
tree using the daVinci interface. The supported search strategies are:
complete, credit bounded, least discrepancy, backtrack bounded, depth bounded.
- New finite domain sets library
The new library fd_sets provides an alternative to the
conjunto library if you're working with sets of integers.
- New linear relaxation library
The new library eplex_relax provides linear relaxations of
constraints for use with the eplex library. Currently it just
contains the constraint piecewise_linear_hull/3, which provides
a convex hull relaxation version of the piecewise_linear/3
constraint from the ria library.
- New graph algorithms library
The new library graph_algorithms defines a data structure
for graphs, graph generators, and various algorithms on graphs.
Graphs generated with this library can be displayed directly through the
- Xpress-MP R12 student version included
A restricted Student Version of Xpress-MP R12 is packaged with
this ECLiPSe release. It allows the use of eplex library for
small problems without requiring an additional licence.
- Eplex library updates
Quadratic objectives can now be used with Xpress-MP.
Support for quadratic objective functions has been
added to lp_probe/3.
- New emacs mode
An emacs mode for ECLiPSe is now available.
- Miscellaneous changes
- The finite domain library fd now defines
#=</2,3 as synonyms for #<=/2,3,
for consistency with other libraries.
- Online documentation added for the third-party heaps and
- A number of libraries have been updated to use the new module system
introduced in ECLiPSe 5.0.
- Stack overflows now cause exit_block(local_control_overflow)
or exit_block(global_trail_overflow), depending on which stack
pair has overflowed. These conditions can more easily be caught by
the programmer. If they are not caught, overflow messages are printed.
- Changed use_module/1,2 to always behave like
ensure_loaded/1, even if a module already exists. This should
make sure that recompiling an application works even if module interfaces
- Bug fixes
- Provided libraries in .eco format are now compiled optimised.
- Fixed a problem with after events where the timer was stopped if the
next due event happens too close to the current event.
- Fixed a problem with interrupting help/1 if the Unix command
less was used to display help files (tty version only).
- Minor fixes to TkECLiPSe.
- Various updates and corrections to the user manual, and minor fixes to
the online documentation.
- Fixed a bug in delinearize/2 from the linearize
module, where if a variable had become ground, it wasn't multiplied by
- Fixed a bug in compare_instances/3 when applied to
range variables: a real range was considered an instance of an
integer range if it lay within the integer range's bounds.
- Some minor fixes to giis/2 from the ria module
(improved error handling, and some extra fuzzification where not doing
so may have caused problems).
- Fixes to the propia library.
- Fixed handling of variables in term_hash/4 and improved the
hash function for long strings.
- Improved memory allocation on Linux. Like on the other architectures,
stack limits (-g and -l option) can now be up to 2 gigabytes, provided there
is enough swap space available.
Previous release notes