[mercury-users] Learning Mercury

Ralph Becket rafe at csse.unimelb.edu.au
Tue Aug 14 09:06:45 AEST 2007

doug.auclair at logicaltypes.com, Monday, 13 August 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.

Didn't I already provide a solver example a few months ago?  I think
it's in the samples directory now.
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