.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/SUMMARY.md
docs/index.md
docs/_custom/css/extra.css
docs/_custom/css/mkdocstrings.css
docs/_custom/css/window_suggestions.css
docs/_custom/javascripts/mathjax.js
docs/_custom/overrides/.icons/potassco-full-logo.svg
docs/_custom/overrides/.icons/potassco-logo.svg
docs/_custom/overrides/partials/logo.html
docs/assets/images/potassco-full-logo.svg
docs/assets/images/potassco-logo-dark.svg
docs/assets/images/potassco-logo.svg
docs/community/CHANGES.md
docs/community/CONTRIBUTING.md
docs/community/DEPLOYMENT.md
docs/community/DEVELOPMENT.md
docs/community/help.md
docs/community/index.md
docs/examples/config.md
docs/examples/index.md
docs/examples/sudoku.md
docs/reference/index.md
docs/reference/predicate-docs.md
docs/reference/style.md
docs/reference/sections/dependency-graph.md
docs/reference/sections/encodings.md
docs/reference/sections/glossary.md
docs/reference/sections/index.md
docs/reference/sections/predicate-table.md
docs/use/index.md
docs/use/installation.md
docs/use/quick-start.md
examples/config/doc.lp
examples/config/encoding-base-clingo.lp
examples/config/base/constraints.lp
examples/config/base/defined.lp
examples/config/base/discrete.lp
examples/config/base/show-clingo.lp
examples/config/base/structure.lp
examples/config/base/clingo/boolean.lp
examples/config/base/clingo/integer.lp
examples/config/base/clingo/numerics.lp
examples/config/base/clingo/table.lp
examples/config/base/clingo/user.lp
examples/sudoku/encoding.lp
examples/sudoku/instance.lp
src/mkdoclingo.egg-info/PKG-INFO
src/mkdoclingo.egg-info/SOURCES.txt
src/mkdoclingo.egg-info/dependency_links.txt
src/mkdoclingo.egg-info/entry_points.txt
src/mkdoclingo.egg-info/requires.txt
src/mkdoclingo.egg-info/top_level.txt
src/mkdocstrings_handlers/asp/__init__.py
src/mkdocstrings_handlers/asp/py.typed
src/mkdocstrings_handlers/asp/_internal/__init__.py
src/mkdocstrings_handlers/asp/_internal/config.py
src/mkdocstrings_handlers/asp/_internal/domain.py
src/mkdocstrings_handlers/asp/_internal/error.py
src/mkdocstrings_handlers/asp/_internal/handler.py
src/mkdocstrings_handlers/asp/_internal/collect/__init__.py
src/mkdocstrings_handlers/asp/_internal/collect/debug.py
src/mkdocstrings_handlers/asp/_internal/collect/extractors.py
src/mkdocstrings_handlers/asp/_internal/collect/load.py
src/mkdocstrings_handlers/asp/_internal/collect/syntax.py
src/mkdocstrings_handlers/asp/_internal/collect/queries/body.scm
src/mkdocstrings_handlers/asp/_internal/collect/queries/documentation_argument.scm
src/mkdocstrings_handlers/asp/_internal/collect/queries/documentation_predicate.scm
src/mkdocstrings_handlers/asp/_internal/collect/queries/head.scm
src/mkdocstrings_handlers/asp/_internal/collect/queries/predicate.scm
src/mkdocstrings_handlers/asp/_internal/collect/queries/show.scm
src/mkdocstrings_handlers/asp/_internal/render/__init__.py
src/mkdocstrings_handlers/asp/_internal/render/dependency_graph_context.py
src/mkdocstrings_handlers/asp/_internal/render/encodings_context.py
src/mkdocstrings_handlers/asp/_internal/render/glossary_context.py
src/mkdocstrings_handlers/asp/_internal/render/predicate_info.py
src/mkdocstrings_handlers/asp/_internal/render/predicate_table_context.py
src/mkdocstrings_handlers/asp/_internal/render/render_context.py
src/mkdocstrings_handlers/asp/templates/material/dependency_graph.html.jinja
src/mkdocstrings_handlers/asp/templates/material/documentation.html.jinja
src/mkdocstrings_handlers/asp/templates/material/encodings.html.jinja
src/mkdocstrings_handlers/asp/templates/material/glossary.html.jinja
src/mkdocstrings_handlers/asp/templates/material/glossary_references.html.jinja
src/mkdocstrings_handlers/asp/templates/material/icons.html.jinja
src/mkdocstrings_handlers/asp/templates/material/predicate_table.html.jinja
src/mkdocstrings_handlers/asp/templates/material/separator.html.jinja
src/mkdocstrings_handlers/asp/templates/material/source.html.jinja
src/mkdocstrings_handlers/asp/templates/material/style.css
tests/__init__.py
tests/conftest.py
tests/py.typed
tests/test_config.py
tests/test_handler.py
tests/collect/__init__.py
tests/collect/test_debug.py
tests/collect/test_extractors.py
tests/collect/test_load.py
tests/collect/test_syntax.py
tests/render/__init__.py
tests/render/test_dependency_graph_context.py
tests/render/test_encodings_context.py
tests/render/test_glossary_context.py
tests/render/test_predicate_info.py
tests/render/test_predicate_table_context.py