packaging>=21.3
wheel>=0.37.1
z3-solver>=4.8.17.0

[dev]
black>=22.8.0
build>=0.8.0
twine>=4.0.1

[test]
pytest-pycharm>=0.7.0
pytest-xdist>=2.4.0
pytest>=7.1.2
