Automated Reasoning and Formal Verification

Lab materials for the course Automated Reasoning and Formal Verification at the University of Trento (a.a. 2024/2025).

📺 Video recordings will be available on the course website.

---

🚀 Contributing Homework Solutions

Students are encouraged to contribute their homework solutions:

1. Fork this repository.
2. Add your solution in the folder: ./<lab>/homeworks-students-solutions/<username>hw<number>.<ext>
3. Open a pull request (PR) to submit your work.

🔗 Need help? See GitHub's guide on contributing to a project.

I will review submissions and merge accepted PRs.

---

🛠 Software Setup

MathSAT

🔗 Download it from the MathSAT website.

PySMT

Install dependencies and set up PySMT with MathSAT:

pip install -r requirements.txt
pysmt-install --msat