bombsquad
Minesweeper solver with TUI and probabilistic solving algorithms.
BombSquad is a Python-based Minesweeper solver implementing game logic, a terminal user interface, and probabilistic solving algorithms to tackle Minesweeper puzzles.
features
- TUI Interface — interactive terminal-based Minesweeper experience built with Rich, supporting cursor navigation and real-time board updates
- Solver Engine — applies constraint satisfaction and probabilistic deduction to reveal safe cells and flag mines
- Modular Design — separates game logic, interface, and solver components for easy extension and testing
implementation
The project is structured into three core modules: game logic (game.py), terminal UI (tui.py), and the solver engine. The solver includes multiple strategies — from naive approaches to constraint satisfaction problems (CSP) with cell grouping and probabilistic guessing. Benchmarking tools measure solver performance across different board configurations.
tech stack
- Python — primary language
- Rich — terminal UI framework
- Constraint Satisfaction — solver algorithm core