[mercury-users] Modes for partly uninstantiated list

[Markus Triska]

Ralph Becket <rafe at csse.unimelb.edu.au> writes:

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

Attached is a more specialised version. It's thrice as fast on the
hard puzzle.

All the best,
Markus Triska

-------------- next part --------------
A non-text attachment was scrubbed...
Name: sudoku.m
Type: application/octet-stream
Size: 5987 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20070216/3ae3f7d2/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: weakarc.m
Type: application/octet-stream
Size: 5554 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20070216/3ae3f7d2/attachment-0001.obj>