Minesweeper Solver is a JavaFX-based desktop application that provides both a playable Minesweeper GUI and an AI solver. The solver employs constraint satisfaction and backtracking to find optimal solutions efficiently. The program includes controls to trigger the algorithm and observe its reasoning process in real time.