This repository contains the code made for the discipline of Logic for computing in the Computer Science course at IFCE.
The objective was to develop a solution for the minefield, passing a grid of determined size and obtaining places where the mine exists and locations where they do not exist. For that, concepts learned during the discipline were used, such as logical consequence, satisfiability, truth value and others.
The following algorithms were used:
- Brute force
- Tableaux
- DPPL
You can clone the project using:
git clone https://github.com/ronaldogomes96/ComputerLogicProject.git
After that, just run the one project in your Mac.
If you want to contribute just open an issue informing the improvement or create a pull request.
Give a ⭐️ if this project helped you!
Copyright © 2021 Ronaldo Gomes and Vinicius Mesquita