minesweeper-ai AI to solve minesweeper using inference rules in propositional logic. This is project 1 of HarvardX CS50's AI Course. Run runner.py