.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/grammar.schema.json
src/aspen/__init__.py
src/aspen/__main__.py
src/aspen/py.typed
src/aspen/tree.py
src/aspen/ts-edit-behavior.org
src/aspen/asp/transform/all.lp
src/aspen/asp/transform/defined.lp
src/aspen/asp/transform/edit.lp
src/aspen/asp/transform/show.lp
src/aspen/asp/utils/clingo/show_all.lp
src/aspen/asp/utils/clingo/symbol_signature.lp
src/aspen/asp/utils/generic/all.lp
src/aspen/asp/utils/generic/derived_predicates/child_index.lp
src/aspen/asp/utils/generic/derived_predicates/include_all.lp
src/aspen/asp/utils/generic/derived_predicates/named.lp
src/aspen/asp/utils/generic/derived_predicates/named_child_index.lp
src/aspen/asp/utils/generic/derived_predicates/next_named_sibling.lp
src/aspen/asp/utils/generic/derived_predicates/show_all.lp
src/aspen/asp/utils/generic/queries/delete_subtree.lp
src/aspen/asp/utils/generic/queries/descendant.lp
src/aspen/asp/utils/generic/queries/include_all.lp
src/aspen/asp/utils/generic/queries/isomorphic.lp
src/aspen/asp/utils/generic/queries/node_at_path.lp
src/aspen/asp/utils/generic/queries/path_of_node.lp
src/aspen/asp/utils/generic/queries/re_reify_siblings.lp
src/aspen/utils/__init__.py
src/aspen/utils/log.py
src/aspen/utils/parser.py
src/aspen/utils/testing.py
src/aspen/utils/tree_sitter_utils.py
src/aspen_tree_5.egg-info/PKG-INFO
src/aspen_tree_5.egg-info/SOURCES.txt
src/aspen_tree_5.egg-info/dependency_links.txt
src/aspen_tree_5.egg-info/entry_points.txt
src/aspen_tree_5.egg-info/requires.txt
src/aspen_tree_5.egg-info/top_level.txt
tests/__init__.py
tests/common.py
tests/py.typed
tests/test_main.py
tests/test_metasp.py
tests/test_tree.py
tests/test_utils.py
tests/asp/river_crossing.lp
tests/asp/encodings/a.lp
tests/asp/encodings/add_body_to_facts.lp
tests/asp/encodings/add_body_to_facts_depend.lp
tests/asp/encodings/add_var.lp
tests/asp/encodings/log_debug.lp
tests/asp/encodings/log_info.lp
tests/asp/encodings/log_warning.lp
tests/asp/encodings/metasp_all.lp
tests/asp/encodings/metasp_exceptions.lp
tests/asp/encodings/metasp_extract_type_info.lp
tests/asp/encodings/metasp_generate_type_facts.lp
tests/asp/encodings/metasp_main.lp
tests/asp/encodings/metasp_print_externals.lp
tests/asp/encodings/metasp_remove_ampersand.lp
tests/asp/encodings/metasp_rewrite_show.lp
tests/asp/encodings/multiline.lp
tests/asp/encodings/raise_error.lp
tests/asp/encodings/raise_error_no_loc.lp
tests/asp/encodings/rename_a_to_b.lp
tests/asp/encodings/replace_sugar.lp
tests/asp/inputs/ab.lp
tests/asp/inputs/add_external_input.lp
tests/asp/inputs/grammar.lp
tests/asp/inputs/metasp_bad_occurrence.lp
tests/asp/inputs/metasp_bad_syntax.lp
tests/asp/inputs/metasp_ids.lp
tests/asp/inputs/metasp_integration.lp
tests/asp/inputs/metasp_occurrence_head.lp
tests/asp/inputs/metasp_rewrite_show.lp
tests/asp/inputs/metasp_telingo_gen_externals.lp
tests/asp/inputs/metasp_telingo_with_conditions_gen_externals.lp
tests/asp/inputs/telingo_sugar.lp
tests/asp/inputs/telingo_sugar_input.lp
tests/asp/inputs/telingo_type.lp
tests/asp/outputs/ab_reified.txt
tests/asp/outputs/add_external_output.lp
tests/asp/outputs/error_missing_reified.txt
tests/asp/outputs/generated_telingo_type_facts.lp
tests/asp/outputs/metasp_head_occurrence.lp
tests/asp/outputs/metasp_ids.lp
tests/asp/outputs/metasp_integration.lp
tests/asp/outputs/metasp_rewrite_show.lp
tests/asp/outputs/metasp_telingo_gen_externals.lp
tests/asp/outputs/metasp_telingo_with_conditions_gen_externals.lp
tests/asp/outputs/missing_reified.txt
tests/asp/outputs/telingo_sugar_output.lp
tests/asp/outputs/telingo_sugar_output_intermediate.lp