扫雷是普遍的游戏，本项目是用Java实现的，看是简单时间逻辑要求比较高-Minesweeper is a popular game, and the project is implemented in Java, see simple temporal logic requirements are relatively high