He's written a bit about how it works here: https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/mines-solver/ https://www.chiark.greenend.org.uk/~sgtatham/qu

He's written a bit about how it works here: https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/mines-solver/ https://www.chiark.greenend.org.uk/~sgtatham/quasiblog/mines....