requirements.txt

colorlover>=0.2.1
scipy>=1.2.1
python-sat[pblib,aiger]
matplotlib==3.5.1
lime==0.2.0.1
shap==0.40.0
anchor-exp==0.0.2.0
pysmt==0.9.0
anytree==2.8.0
dash==2.1.0
dash_bootstrap_components==1.0.3
dash_daq==0.5.0
dash_interactive_graphviz==0.3.0
Jinja2==3.0.3
joblib==1.1.0
json2html==1.3.0
numpy==1.21
pandas==1.4.1
pysat==3.0.1
scikit_learn==1.0.2
six==1.16.0
gunicorn==20.1.0
Werkzeug==2.0.1
pydot==1.4.2