Release Notes

Version 5.1.3 (May 12 2001)

• 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

Version 5.1.2

Version 5.1.1 (Feb 20 2001)

• 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)

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 http://www.informatik.uni-bremen.de/agbkb/forschung/daVinci.

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 daVinci interface.

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 queues modules.
• 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 were changed.

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 its coefficient.
• 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

• 5.0
• 4.2
• 4.1
• 4.0
• 3.6 and 3.7
• 3.5.2