multipledispatch
antlr4-python3-runtime-py313==4.7.2

[:platform_system == "Linux"]
psutil

[arithmetic]
scipy
numpy

[clingo]
clingo>=5.5.1

[docs]
jinja2==3.0.3
docutils<0.18
sphinx==4.4.0
nbsphinx==0.8.8
recommonmark==0.7.1
sphinx_rtd_theme==1.0.0
ipykernel==6.9.1
ipython==8.1.0

[parsegen]
ply==3.11

[rddl]
pyrddl

[stubs]
types-psutil

[test]
pytest>=7.0.1
tox
pytest-cov
mypy
