AvalZ/sat-smt-tutorial

Exercises based on Dennis Yurichev (@DennisYurichev) tutorial on SAT-SMT

Python