Logic-Solver-Problem

Logic Solver Problem using Python and z3

This problem was assigned by Prof. Dr. Francicleber Martins Ferreira during the Logic for Computer Science course 2023.1 - Computer Science at Federal University of Ceará

Note: It is needed to install the z3 solver to run the python code.

Run on Google Colab

https://colab.research.google.com/drive/1znhdnG8Fqfp4EC8Da_P8coxQm_nMVNGx?usp=sharing