z3-solver>=4.8.0
networkx>=2.0

[all]
pytest>=6.0.0
pytest-cov
pytest-xvs
build
twine
ipywidgets>=7.0.0
matplotlib>=3.0.0
networkx>=2.0
jupyter
ipython

[dev]
pytest>=6.0.0
pytest-cov
pytest-xvs
build
twine

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