https://github.com/savinrazvan/minesweeper

An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

ai algorithmic-puzzles educational-project game-ai knowledge-based-inference logical-reasoning minesweeper propositional-logic puzzle-solver python

Last synced: 03 Apr 2025