[Fwd: Re: Circuit constraint needed]

From: Thom Fruehwirth <fruehwir_at_informatik.uni-muenchen.de>
Date: Fri 26 May 2000 03:22:58 PM GMT
Message-ID: <392E96D2.12AA75E7@informatik.uni-muenchen.de>
-------- Original Message --------
Subject: Re: Circuit constraint needed
Date: Fri, 26 May 2000 17:22:07 +0200
From: Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
Organization: Universitt Mnchen
To: lewando@attglobal.net,Thom Fruehwirth
<fruehwir@pst.informatik.uni-muenchen.de>
References: <md5:81E6F3E9391E987238837A77BE68A1B2>

The CHR constraint solver librarie sof Eclipse and Sicstus Prolog offer
two adaptable versions of the circuit constraint in their finite domain
solvers. You can even run the Sicstus CHR solver online. Go to:

http://www.pms.informatik.uni-muenchen.de/~webchr/

and click - in the left frame - on the link starting with
"Finite domains over arbitrary ground terms..."
(In the programm text of the solver you can look for "circuit".)

Greetings,
Thom Fruehwirth

Andrzej Lewandowski wrote:
> I need "circuit" constraint that defines Hamiltonian path over a set of nodes.
> SICStus has one, OPL has one. Has anybody something like this for Eclipse?
> 
> Andrzej Lewandowski
Received on Fri May 26 18:07:03 2000

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:05 PM GMT GMT