z3-solver>=4.8.0

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

[dev]
pytest>=6.0.0
pytest-cov

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