scipy
fastecdsa
sympy
pyasn1
ipython
tqdm
z3
z3-solver
