[mercury-users] Modes for partly uninstantiated list

[Ralph Becket]

Markus Triska, Friday, 16 February 2007:
> 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.

That's finite domains for you :-)
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------