narain@randvax.UUCP (Sanjai Narain) (03/27/89)
Sorry for sending out the message about constraint satisfaction in LOG(F) on this list. I meant to send it to the clp list at CMU. Regards. Sanjai