4 ms·

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 h

by doublec 10y ago

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 https://www.info.ucl.ac.be/~pvr/minesweeper.pdf