spacy==2.1.9 seaborn==0.11.1 graphviz==0.16 pyparsing==2.4.7 z3-solver==4.8.10.0