SMT

A
Amoco
Angr
Avatar
P
pysmtlib
T
Triton
Z
Z3-python