[mercury-users] Modes for partly uninstantiated list

[Ralph Becket]

doug.auclair at logicaltypes.com, Tuesday,  6 February 2007:
> Yes, please!  I tried writing a sudoku solver, but didn't quite get it right,
> as I believe all nine nonants (== 9 "quadr"ants?) needed to be solved
> at the same time?  Anyway, I would find the solver solution to quite
> edifying.

Okay, when I get a spare couple of hours I'll try to write a simple
sudoku solver using solver types.

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