There's an implementation of a Minesweeper solver in Mozart/Oz too "Playing the Minesweeper with Constraints": https://www.info.ucl.ac.be/~pvr/minesweeper.pdf