\myheading{Cracking Minesweeper: by bruteforce}

\renewcommand{\CURPATH}{equations/minesweeper/6_brute}

Now here is a bruteforce solver I wrote for fun:
\url{\RepoURL/\CURPATH/MS.py}.

I doesn't use any external library or solver.
However, it's painfully slow, it takes several minutes to find safe cells on 9*9 field.
Still, it can serve as a demonstration.

This is where SAT/SMT solvers excels: they can find faster ways than bruteforce...