This is my school project on creating an AI for the Minesweeper game using a SAT solver. Through this project, I was able to apply my knowledge of artificial intelligence and logic programming to solve a classic game using a unique approach. Check out my repository to see the code and documentation of the project.
Hugo Lesobre was responsible for the random choice part, while I took charge of the remaining part of the project.
60 participing teams 🏆
- Victories : 14th
- Victory rate : 4th 🎉
- Ratio : 8th
➡️ In summary, our AI achieved success on numerous occasions, but it was not the fastest among the participants.
Spring 2021 semester @ UTC