Minesweeper (Fixpoint v0.8.33)
Summary
Functions
minesweeper(p)
Functions
Link to this function
main2()
Link to this function
main3()
Link to this function
main(file \\ "")
Link to this function
minesweeper(p)
minesweeper(p)
Solves the Minesweeper instance p
.
Link to this function
problem(int)
Link to this function