[mercury-users] Modes for partly uninstantiated list

[Julien Fischer]

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
samples/solver_types.

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