Inside this repository you can find the folders for the exercises lessons of the course Combinatorial Decision Making and Optimization for the a.y. 2023-2024.
In the SAT folder you will find the notebookes and the slides of some exercises in SAT encoding, solved in z3, along with the implementation of optimized encoding for the cardinality constraints.