https://xakep.ru/2016/04/26/crackme-with-z3py/


Для подписчиков
Недавно Microsoft опубликовала свой SMT-решатель Z3. Давай попробуем разобраться, как можно применить этот инструмент в практических целях.