clingo>=5.5.0
clorm>=1.6.3
graphviz
networkx>=2.6
jsonschema
jinja2

[dev]
clingraph[lint_pylint,test,typecheck]

[doc]
nbsphinx>=0.8.8
sphinx
furo
sphinx_inline_tabs
sphinx_copybutton
myst-parser
sphinx-rtd-theme==0.5.2
pypandoc
imageio
jinja2>=3.0.3

[format]
black
isort
autoflake

[gif]
imageio==2.28
pillow

[lint_pylint]
pylint

[test]
coverage[toml]
pytest
pytest-cov

[tex]
dot2tex

[typecheck]
types-setuptools
mypy
