Angr

Angr - binary analyse https://angr.io/

Какой-то солвер из angr - Claripy https://github.com/angr/claripy ex: https://serializethoughts.com/2019/10/28/solving-mstg-crackme-angr