-------- 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: Universität München 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 LewandowskiReceived 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