Re: ic: stronger propagation possible?

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Mon 13 Dec 2004 06:36:00 PM GMT
Message-ID: <41BDE110.9050306@icparc.ic.ac.uk> 
Ulrich Scholz wrote:
> Dear all,
> 
> the following does not find the sole solution X=2 and Y=2, but an
> additional labeling does.
> 
> [eclipse 1]: lib(ic), [X,Y] :: 1..2, neg(X#=1 and Y#=1), neg (X#=1 and Y#=2), neg(X#=2 and Y#=1).

A similar question has been discussed in

http://www.icparc.ic.ac.uk/eclipse/archive/eclipse-users/0365.html


-- 
  Joachim Schimpf              /             phone: +44 20 7594 8187
  IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
  Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse
Received on Mon Dec 13 18:38:12 2004

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