[mercury-users] Solvers: did I miss the tutorial/samples?

[doug.auclair at logicaltypes.com]

Dear Ralph, thanks for responding, you wrote:

>We do have implementations of SEND + MORE = MONEY, 
>but they're under the aegis of the G12 project 
>and currently aren't publically available.
>I'll talk to the bosses about this one, but there
>are lawyers involved, so don't hold your breath...

K. Thanks for asking.  Who knows? Lawyers say 'yes'
sometimes, too.

>> Ralph, your tutorial style is great; would you consider
>> adding a bit to the language tutorial for solvers?
>That's a good idea, although I don't have much spare 
>time at the moment. I'll try to get around to it as 
>soon as I can, though.

Thank you.  Looking forward to the tutorial, even something
very simple and rough-edged, as there's been much
tantalizing development of solvers, but nothing available
for us looking in from the outside to grasp and to use.

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------