.envrc
.gitignore
.pre-commit-config.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/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/asplain.svg
docs/assets/images/catdog.svg
docs/assets/images/dontdrivedrunk.svg
docs/assets/images/graph_example.svg
docs/assets/images/jamesbond.svg
docs/assets/images/potassco-logo-dark.svg
docs/assets/images/potassco-logo.svg
docs/assets/images/pt_rgb_green_digital.svg
docs/assets/images/sudoku.svg
docs/assets/images/workflow.png
docs/community/CHANGES.md
docs/community/CONTRIBUTING.md
docs/community/DEPLOYMENT.md
docs/community/DEVELOPMENT.md
docs/community/index.md
docs/examples/catdog.md
docs/examples/dontdrivedrunk.md
docs/examples/index.md
docs/examples/jamesbond.md
docs/examples/sudoku.md
docs/reference/cli.md
docs/reference/explanation-graph.md
docs/reference/foils.md
docs/reference/index.md
docs/reference/llm.md
docs/reference/pruning.md
docs/reference/setup.md
docs/reference/tagging.md
docs/reference/api/index.md
docs/reference/encodings/index.md
docs/reference/preferences/index.md
docs/reference/preferences/model-difference.md
docs/reference/preferences/penalize-added.md
docs/reference/preferences/penalize-non-assumptions.md
docs/reference/preferences/penalize-non-constraints.md
docs/reference/preferences/penalize-non-facts.md
docs/reference/preferences/penalize-removed.md
docs/reference/preferences/program-difference.md
docs/use/help.md
docs/use/installation.md
docs/use/quick-start.md
examples/cat-dog/README.md
examples/cat-dog/encoding.lp
examples/cat-dog/instance.lp
examples/dont_drive_drunk/README.md
examples/dont_drive_drunk/encoding.lp
examples/exams/README.md
examples/exams/encoding.lp
examples/james-bond/README.md
examples/james-bond/encoding-unsat.lp
examples/james-bond/encoding.lp
examples/james-bond/model.lp
examples/picnic/README.md
examples/picnic/encoding.lp
examples/picnic/model.lp
examples/sudoku/BENCHMARK.sh
examples/sudoku/README.md
examples/sudoku/dynamic-tags.lp
examples/sudoku/encoding.lp
examples/sudoku/instance4x4-no-tags.lp
examples/sudoku/instance4x4.lp
examples/sudoku/instance4x4.pdf
examples/sudoku/instance9x9.lp
examples/sudoku/instance9x9.pdf
examples/sudoku/results.txt
examples/sudoku/viz.lp
src/asplain/__init__.py
src/asplain/__main__.py
src/asplain/app.py
src/asplain/py.typed
src/asplain.egg-info/PKG-INFO
src/asplain.egg-info/SOURCES.txt
src/asplain.egg-info/dependency_links.txt
src/asplain.egg-info/entry_points.txt
src/asplain.egg-info/requires.txt
src/asplain.egg-info/scm_file_list.json
src/asplain.egg-info/scm_version.json
src/asplain.egg-info/top_level.txt
src/asplain/encodings/construct-foil.lp
src/asplain/encodings/force-model.lp
src/asplain/encodings/model-subgraph.lp
src/asplain/encodings/reify-to-pg.lp
src/asplain/encodings/show.lp
src/asplain/encodings/ui.lp
src/asplain/encodings/utils-tags.lp
src/asplain/encodings/viz-pg.lp
src/asplain/encodings/costs/docs.lp
src/asplain/encodings/costs/model-difference.lp
src/asplain/encodings/costs/penalize-added.lp
src/asplain/encodings/costs/penalize-non-assumptions-removed.lp
src/asplain/encodings/costs/penalize-non-constraint-removed.lp
src/asplain/encodings/costs/penalize-non-facts-removed.lp
src/asplain/encodings/costs/penalize-removed.lp
src/asplain/encodings/costs/program-difference.lp
src/asplain/encodings/dynamic-tags/removable-assumptions.lp
src/asplain/encodings/pruning/change.lp
src/asplain/encodings/pruning/changes.lp
src/asplain/encodings/pruning/inclusion_filter.lp
src/asplain/encodings/pruning/orphans.lp
src/asplain/encodings/pruning/path_test.lp
src/asplain/encodings/pruning/paths.lp
src/asplain/encodings/pruning/paths_undirected.lp
src/asplain/llm/__init__.py
src/asplain/llm/models/__init__.py
src/asplain/llm/models/base.py
src/asplain/llm/models/google.py
src/asplain/llm/models/openai.py
src/asplain/llm/models/tags.py
src/asplain/llm/templates/__init__.py
src/asplain/llm/templates/base.py
src/asplain/llm/templates/explain.py
src/asplain/llm/templates/translate.py
src/asplain/llm/templates/prompt_templates/explain_input.txt
src/asplain/llm/templates/prompt_templates/explain_instructions.txt
src/asplain/llm/templates/prompt_templates/translate_input.txt
src/asplain/llm/templates/prompt_templates/translate_instructions.txt
src/asplain/llm/utils/__init__.py
src/asplain/llm/utils/graph.py
src/asplain/llm/utils/parsing.py
src/asplain/llm/utils/predicates.py
src/asplain/pruning/__init__.py
src/asplain/pruning/pruners.py
src/asplain/ui/backend.py
src/asplain/utils/__init__.py
src/asplain/utils/clingo.py
src/asplain/utils/logging.py
src/asplain/utils/node-count.lp
src/asplain/utils/parser.py
src/asplain/utils/viz.py
tests/__init__.py
tests/py.typed
tests/test_contrast.py
tests/test_main.py