/Z3-Playground

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

Primary LanguageJupyter Notebook

CDMO-course-2021

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