CDMO-course-2021

Material for the "Combinatorial Decision Making and Optimization" course of the University of Bologna for the academic year 2020/21.

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
.gitignore		.gitignore
README.md		README.md
Z3 SAT Exercises.ipynb		Z3 SAT Exercises.ipynb
Z3 SMT Exercises.ipynb		Z3 SMT Exercises.ipynb
Z3 Tutorial.ipynb		Z3 Tutorial.ipynb
Z3_SAT.pdf		Z3_SAT.pdf
Z3_SMT.pdf		Z3_SMT.pdf
utils.py		utils.py

Provide feedback