A logical AI agent that plays Minesweeper by reasoning about the board and identifying guaranteed safe cells and mines using inference. This project was developed as part of Harvard’s CS50 ...