.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
MANIFEST.in
README.md
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/getting_started.md
docs/index.md
docs/view.png
docs/_custom/css/extra.css
docs/_custom/css/mkdoclingo.css
docs/_custom/css/mkdocstrings.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/index.md
docs/reference/index.md
docs/reference/api/index.md
docs/reference/encodings/index.md
docs/reference/extensions/index.md
docs/reference/extensions/show.md
docs/reference/extensions/tag.md
examples/people/README.md
examples/people/encoding.lp
examples/people/instance.lp
examples/test/encoding.lp
src/meta_tools/__init__.py
src/meta_tools/__main__.py
src/meta_tools/py.typed
src/meta_tools/encodings/extension_show.lp
src/meta_tools/encodings/reify-defined.lp
src/meta_tools/encodings/viz.lp
src/meta_tools/extensions/__init__.py
src/meta_tools/extensions/base_extension.py
src/meta_tools/extensions/show/encoding.lp
src/meta_tools/extensions/show/show_extension.py
src/meta_tools/extensions/tag/encoding.lp
src/meta_tools/extensions/tag/tag_extension.py
src/meta_tools/utils/__init__.py
src/meta_tools/utils/logging.py
src/meta_tools/utils/parser.py
src/meta_tools/utils/theory.py
src/meta_tools/utils/visualization.py
src/meta_tools_clingo.egg-info/PKG-INFO
src/meta_tools_clingo.egg-info/SOURCES.txt
src/meta_tools_clingo.egg-info/dependency_links.txt
src/meta_tools_clingo.egg-info/entry_points.txt
src/meta_tools_clingo.egg-info/requires.txt
src/meta_tools_clingo.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_basic.py
tests/test_main.py
tests/test_show_extension.py
tests/test_tag_extension.py
tests/test_theory.py