sympy
gmpy2
num2words
unidecode
networkx
bitarray
python-sat
