aspell-python-py3
gmpy2
langdetect
pycrypto
scipy
z3-solver
