Thomas Charles CONWAY
conway at cs.mu.oz.au
Tue Feb 18 11:51:43 AEDT 1997
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.
Thomas Conway conway at cs.mu.oz.au
AD DEUM ET VINUM Every sword has two edges.
More information about the developers