I fixed the old link on the PLDC page which had become stale after the
departure of Raphael Collet.
Here is the new link with full sources:
http://www.info.ucl.ac.be/~pvr/Minesweeper3.tar.gz
And a paper explaining how the solver works:
http://www.info.ucl.ac.be/~pvr/minesweeper.pdf
If you haven't seen this yet, it's a very nice version of minesweeper
that deduces where the mines are using various constraint systems, and
also calculates the probabilities of there being mines on squares where
it isn't sure.
Peter
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
