[mercury-users] Modes for partly uninstantiated list

Julien Fischer juliensf at csse.unimelb.edu.au
Fri Feb 9 16:36:23 AEDT 2007

On Fri, 9 Feb 2007, Ralph Becket wrote:

> Ralph Becket, Wednesday,  7 February 2007:
>> Okay, when I get a spare couple of hours I'll try to write a simple
>> sudoku solver using solver types.
> 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.

Could you please add this to the samples directory, in

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