
[build]
pyinstaller>=6.0

[check]
z3-solver>=4.12

[dev]
pytest>=7.0
hypothesis>=6.0
