z3-solver>=4.12
aiohttp>=3.9
requests>=2.31
textual>=0.50

[dev]
pytest>=7.4
pytest-asyncio>=0.23
textual[dev]>=0.50
