Fixpoint v0.20.2

CPSolver.Examples.Hakank.Minesweeper (Fixpoint v0.20.2)

Link to this section Summary

Functions

minesweeper(p)

minesweeper(p)

problem(int)
read_instance(file)
run(file \\ "")
run2()
run3()

Link to this section Functions

Link to this function

minesweeper(p)

minesweeper(p)

Solves the Minesweeper instance p.

Link to this function

problem(int)

Link to this function

read_instance(file)

Link to this function

run(file \\ "")

Link to this function

run2()

Link to this function

run3()