constraint.m

[Thomas Charles CONWAY]

Hi

The comments indicate that constraint.m is broken, and we should not use
--constraint-propagation. I have an error/1 call in the handling of
parallel conjunction goals.  Is there any likelyhood of constraint.m
being fixed any time in the forseeable future? If there is, then I'll
put something more sophisticated than the call to error.

Andrew? Anyone?

Thomas
-- 
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.