[mercury-users] Modes for partly uninstantiated list

Ralph Becket rafe at csse.unimelb.edu.au
Mon Feb 12 08:18:35 AEDT 2007


Ralph Becket, Friday,  9 February 2007:
> Attached is:
> - a module implementing a simple solver type, eqneq(T), supporting
>   equality and disequality constraints (this file could do with some
>   more comments...);
> - a naive sudoku solver using the eqneq(T) type;
> - a Makefile;
> - a couple of input files.

Ob. Mercury plug: these modules worked perfectly first time.  I can't
imagine that happening in any other language I've used.
--------------------------------------------------------------------------
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