[mercury-users] Solver types example

[Nicolas Pelletier]

Hello,

I am a new fellow mercury user  currently learning the language. As an
exercise to check my understanding of  some aspects of the language, I
am using the classical problem: place N queens  on an NxN chess board.
Today I tried  writing a program to  find all solutions to the problem
using solver types and got stuck.  I understand solver types are still
marked as an  experimental feature (I am using  mercury 0.12.2), so my
attempt  at using them might be  too bold; I  would however be glad if
someone could point  me to some  code demonstrating their use, or just
tell me to wait for them to mature and concentrate on other features.

Thank you in advance,

-- 
Nicolas
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------