Newsgroups: comp.lang.prolog,comp.constraints
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!udel!news.mathworks.com!newsfeed.internetmci.com!vixen.cso.uiuc.edu!howland.reston.ans.net!EU.net!Germany.EU.net!Frankfurt.Germany.EU.net!Munich.Germany.EU.net!ecrc!news
From: micha@ecrc.de (Micha Meier)
Subject: ECLiPSe 3.5.2
Message-ID: <DKypxH.50J@ecrc.de>
Sender: news@ecrc.de
Reply-To: micha@ecrc.de
Organization: European Computer-Industry Research Centre
Date: Wed, 10 Jan 1996 11:15:16 GMT
Lines: 23
Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:14583 comp.constraints:968


ECLiPSe version 3.5.2 has been released. Some of the new features are:

- 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 being distributed together with it.

- Tcl/Tk interface to tcl7.4/tk4.0

ECLiPSe (ECRC Constraint Logic Parallel System) is a logic programming system
open for extensions, especially in the CLP area.

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.

--Micha

