ECLiPSe 3.5.2

Appeared in Volume 9/2, May 1996

Some new features of ECLiPSe (ECRC Constraint Logic Parallel System):

• The finite domain solver has been extended to handle multiplication and division of domain variables and to include evaluation constraints, e.g. #=(X, Y, B) which means that B is equal to 1 iff X #= Y. There is a number of new constraint predicates available, including ElipSys global disjunctive constraints.

• The clp(Q,R) system of Christian Holzbaur has been ported to ECLiPSe and is now included in the distribution.

• There is a Tcl/Tk interface to tcl7.4 / tk4.0

ECLiPSe is now available to academic and government-sponsored institutions free of charge. For more details please see http://www.ecrc.de/eclipse/eclipse.html or send email to eclipse_request@ecrc.de.

For more information, contact:

Micha Meier
European Computer-Industry Research Centre
Munich, Germany
Email: micha@ecrc.de