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

[dev]
pylint==2.12
pytest>=6.2

[doc]
nbsphinx
sphinx
sphinx_rtd_theme

[gif]
imageio==2.28
pillow

[test]
pytest>=6.2

[tex]
dot2tex
