clingo>=5.6.0
httpx>=0.25.0
rich>=13.0.0

[dev]
pytest>=7.0.0
ruff>=0.1.0
