pyslang>=10.0

[all]
z3-solver>=4.16
graphviz>=0.20
pytest>=7.0
black>=23.0
ruff>=0.1.0

[dev]
pytest>=7.0
pytest-cov>=4.0
black>=23.0
ruff>=0.1.0

[viz]
graphviz>=0.20

[z3]
z3-solver>=4.16
