[mercury-users] Learning Mercury

[doug.auclair at logicaltypes.com]

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 ...

Sincerely,
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
--------------------------------------------------------------------------