Minesweeper game implemented with pygame, offering both solo play and the option for an AI player. The Minesweeper game follows the classic rules where the player must uncover all cells on the board.
The game implementation utilizes Propositional Logic for intelligent decision-making.