Repair Library Bug?

Hi,
Here's what Owen found.

tempest: eclipse
ECLiPSe Constraint Logic Programming System [kernel]
...
Version 5.0.0, Fri Jun 23 01:09 2000
[eclipse 1]: lib(fd), lib(repair).
...
yes.
***** This is what it should do (we think):  *****
[eclipse 2]:  [X,Y]::0..8, [X,Y] tent_set [3,5],
              X#=8-Y r_conflict_prop h,
              X#>=4,
              conflict_constraints(h,C).

Y = Y{repair:5, fd:[0..8]}
X = X{repair:3, fd:[4..8]}
C = [X{repair:3, fd:[4..8]} #= 8 - Y{repair:5, fd:[0..8]}]

There are 6 delayed goals. Do you want to see them? (y/n) 

yes.
***** Now this is the same constraint with different syntax.
***** Surely it should behave the same??? ******************
[eclipse 3]:  [X,Y]::0..8, [X,Y] tent_set [3,5],
              X+Y #= 8 r_conflict_prop h,
              X#>=4,
              conflict_constraints(h,C).

Y = Y{repair:5, fd:[0..8]}
X = X{repair:3, fd:[4..8]}
C = []

There are 7 delayed goals. Do you want to see them? (y/n) 

        Cheers
                Mark and Owen
-- 
_______________________________________________________________
Dr. Mark Wallace, IC-Parc,		Phone  +44 (0)20 7594 8434 
William Penney Laboratory, 		Fax    +44 (0)20 7594 8432
Imperial College, London SW7 2AZ, UK.	Email: mgw@icparc.ic.ac.uk