z3-solver>=4.8.0
networkx>=2.0

[all]
ipywidgets>=7.0.0
matplotlib>=3.0.0
networkx>=2.0
jupyter
ipython

[jupyter]
ipywidgets>=7.0.0
matplotlib>=3.0.0
networkx>=2.0
jupyter
ipython
