z3-solver>=4.12
ruamel.yaml>=0.18

[aws]
boto3>=1.34

[dev]
pytest>=7.0
pytest-cov>=4.0
ruff>=0.6.0
mypy>=1.10
