.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/deploy.yml
.github/workflows/doc.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/delingo.md
docs/examples/index.md
docs/examples/melingo.md
docs/examples/telingo.md
docs/reference/controls.md
docs/reference/index.md
docs/reference/print.md
docs/reference/semantics.md
docs/reference/syntax.md
docs/reference/api/index.md
docs/reference/encodings/derived.md
docs/reference/encodings/formulas.md
docs/reference/encodings/index.md
docs/reference/encodings/meta.md
docs/reference/encodings/meta_time.md
docs/reference/encodings/reify_defined.md
docs/reference/encodings/show.md
docs/reference/encodings/show_time.md
examples/del/README.md
examples/del/config.yml
examples/del/semantics.lp
examples/del/syntax.lp
examples/del/ui.lp
examples/del/instances/paper-lights.lp
examples/mel/README.md
examples/mel/config.yml
examples/mel/print_functions.py
examples/mel/semantics.lp
examples/mel/syntax.lp
examples/mel/ui.lp
examples/mel/instances/dentist.lp
examples/mel/instances/paper-lights-constraint.lp
examples/mel/instances/paper-lights.lp
examples/tel/README.md
examples/tel/config.yml
examples/tel/semantics.lp
examples/tel/syntax.lp
examples/tel/ui.lp
examples/tel/instances/paper-lights.lp
src/metasp/__init__.py
src/metasp/__main__.py
src/metasp/app.py
src/metasp/clorm_db.py
src/metasp/formula_processing.py
src/metasp/grammar.py
src/metasp/printing.py
src/metasp/system.py
src/metasp.egg-info/PKG-INFO
src/metasp.egg-info/SOURCES.txt
src/metasp.egg-info/dependency_links.txt
src/metasp.egg-info/entry_points.txt
src/metasp.egg-info/requires.txt
src/metasp.egg-info/top_level.txt
src/metasp/encodings/check-occur.lp
src/metasp/encodings/derived.lp
src/metasp/encodings/meta-time.lp
src/metasp/encodings/meta.lp
src/metasp/encodings/reify-defined-metasp.lp
src/metasp/encodings/reify-defined.lp
src/metasp/encodings/reify-extension.lp
src/metasp/encodings/show-encoding-extension.lp
src/metasp/encodings/show-time.lp
src/metasp/encodings/show.lp
src/metasp/encodings/ui-show.lp
src/metasp/encodings/ui.lp
src/metasp/encodings/aspen/all.lp
src/metasp/encodings/aspen/exceptions.lp
src/metasp/encodings/aspen/extract_type_info.lp
src/metasp/encodings/aspen/gen_externals.lp
src/metasp/encodings/aspen/gen_type_facts.lp
src/metasp/encodings/aspen/main.lp
src/metasp/encodings/aspen/remove_ampersand.lp
src/metasp/encodings/aspen/rewrite_show.lp
src/metasp/encodings/aspen/utils/child_index.lp
src/metasp/encodings/aspen/utils/descendant.lp
src/metasp/encodings/aspen/utils/named.lp
src/metasp/encodings/aspen/utils/named_child_index.lp
src/metasp/encodings/aspen/utils/symbol_signature.lp
src/metasp/utils/__init__.py
src/metasp/utils/logging_utils.py
src/metasp/utils/parser.py
tests/__init__.py
tests/py.typed
tests/test_main.py