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. 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.

OptiMathSAT

Download it from the OptiMathSAT website.

PySMT

Install dependencies and set up PySMT with MathSAT:

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

nuXmv

Download it from the nuXmv website.