z3-solver>=4.8.0
networkx>=2.0

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

[dev]
pytest-xdist>=3.0.0
pytest-timeout>=2.0.0

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