giuspek / FormalMethods2023

GitHub repository for lab lectures of the Formal Methods course (University of Trento)

FormalMethods2023

GitHub repository for lab lectures of the Formal Methods course (University of Trento)

Surveys and tutorial about SAT/SMT

http://satassociation.org/tutorials.html

Introduction Python

For people that asked me some links to easily learn the basics of Python, please check the material from the following UniTN course: https://disi.unitn.it/~passerini/teaching/2021-2022/sci-pro/index.html. In particular, the material about "Complex statements"are really useful for our course (List Comprehension and the various loops).

Lab 1

• Getting started with SAT solving
• Dimacs and SMT-LIB format
• Encoding circuits and checking equivalence
• From real tasks to SAT models: sorting people, cracking codes