[mercury-users] Learning Mercury

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Tue Aug 14 00:03:32 AEST 2007

Dear Ralph, you waved the red cape with:

>If you really have to use constrained values (e.g., supporting
>equality/disequality constraints) you need to use solver types.  I'm
>only going to talk about them if you force me!

/here's my forcing move:/

Yes, yes! Talk about (and provide samples, or links to samples, 
of) using solver types for solving the monkey problem and the
... what was it? ... CAT + ANT = DOG cryptarithmic problem.

... you did open the door ...

Doug Auclair

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list