.dir-locals.el
.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
TODO.md
init.py
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/doc.yml
.github/workflows/publish-to-pypi.yml
.github/workflows/test.yml
docs/getting_started.md
docs/index.md
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/problem/index.md
src/aspen/__init__.py
src/aspen/__main__.py
src/aspen/py.typed
src/aspen/tree.py
src/aspen/asp/defined.lp
src/aspen/asp/delete.lp
src/aspen/asp/edit.lp
src/aspen/asp/example.lp
src/aspen/asp/offset.lp
src/aspen/asp/show.lp
src/aspen/asp/utils/all.lp
src/aspen/asp/utils/child.lp
src/aspen/asp/utils/named.lp
src/aspen/asp/utils/named_child_idx.lp
src/aspen/asp/utils/root.lp
src/aspen/utils/__init__.py
src/aspen/utils/logging.py
src/aspen/utils/parser.py
src/aspen/utils/tree_sitter_utils.py
src/aspen_tree.egg-info/PKG-INFO
src/aspen_tree.egg-info/SOURCES.txt
src/aspen_tree.egg-info/dependency_links.txt
src/aspen_tree.egg-info/entry_points.txt
src/aspen_tree.egg-info/requires.txt
src/aspen_tree.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_main.py
tests/test_tree.py
tests/files/ab.lp
tests/files/ab_reified.txt
tests/files/add_var.lp
tests/files/error_reified.txt
tests/files/missing_reified.txt
tests/files/rename_a_to_b.lp