.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/build-language-binaries.yml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/index.md
docs/installation.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/asplain.md
docs/examples/config.md
docs/examples/index.md
docs/examples/sudoku.md
docs/reference/index.md
docs/reference/api/features.md
docs/reference/api/handler.md
docs/reference/api/semantics.md
docs/use/dependency-graph.md
docs/use/encodings.md
docs/use/glossary.md
docs/use/index.md
docs/use/predicate-table.md
examples/asplain/abduction.lp
examples/asplain/base.lp
examples/asplain/contrastive.lp
examples/asplain/graphs.lp
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/__init__.py
src/mkdoclingo/__main__.py
src/mkdoclingo/py.typed
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/mkdoclingo/utils/__init__.py
src/mkdoclingo/utils/logging.py
src/mkdoclingo/utils/parser.py
src/mkdocstrings_handlers/asp/__init__.py
src/mkdocstrings_handlers/asp/document.py
src/mkdocstrings_handlers/asp/handler.py
src/mkdocstrings_handlers/asp/features/__init__.py
src/mkdocstrings_handlers/asp/features/dependency_graph.py
src/mkdocstrings_handlers/asp/features/encoding_info.py
src/mkdocstrings_handlers/asp/features/predicate_info.py
src/mkdocstrings_handlers/asp/semantics/__init__.py
src/mkdocstrings_handlers/asp/semantics/block_comment.py
src/mkdocstrings_handlers/asp/semantics/document_parser.py
src/mkdocstrings_handlers/asp/semantics/line_comment.py
src/mkdocstrings_handlers/asp/semantics/predicate.py
src/mkdocstrings_handlers/asp/semantics/predicate_documentation.py
src/mkdocstrings_handlers/asp/semantics/statement.py
src/mkdocstrings_handlers/asp/semantics/directives/include.py
src/mkdocstrings_handlers/asp/semantics/directives/show.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/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
src/mkdocstrings_handlers/asp/tree_sitter/__init__.py
src/mkdocstrings_handlers/asp/tree_sitter/debug.py
src/mkdocstrings_handlers/asp/tree_sitter/node_kind.py
src/mkdocstrings_handlers/asp/tree_sitter/parser.py
src/mkdocstrings_handlers/asp/tree_sitter/traverse.py
src/mkdocstrings_handlers/asp/tree_sitter/lib/clingo-language.dll
src/mkdocstrings_handlers/asp/tree_sitter/lib/clingo-language.dylib
src/mkdocstrings_handlers/asp/tree_sitter/lib/clingo-language.so
tests/__init__.py
tests/py.typed
tests/test_main.py