scipy
fastecdsa
sympy
pyasn1
ipython
tqdmz3
z3-solver
