[mercury-users] Maillist search-engine down? re: DOG + ANT = CAT

[doug.auclair at logicaltypes.com]

Dear all,

I'm having difficulty doing searches against the mercury-users 
maillist; the response to my "integer constraints" and "constraint 
solvers" yields:  http://www.mercury.cs.mu.oz.au/cgi-bin/htsearch.
... and the system says www.mercury.cs.mu.oz.au does not exist.

Moving along.

The recent posting about solving DOG + ANT = CAT using the solutions
sets of predicates got me thinking this is a standard constraint
solver "hello, world!" solution.  But all I have is Ralph's Sudoku
solver (with the weakarc module by Markus Triska) that only does
disequality constraints.  Is that sufficient to write a solution
using a constrain-then-generate strategy?  If not, is there a 
stand-up example to show new users the constraint approach to these
cryptarithmic problems?

(I think it was discussed in the maillist some time ago, but the
search feature is not working for me right now).

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