requirements.txt

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