clingo>=5.5.0

[dev]
mypy>=1
pytest>=8
ruff>=0.15

[doc]
pdoc3>=0.11
