.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
init.py
mkdocs.yml
noxfile.py
pyproject.toml
.github/workflows/ci-test.yml
.github/workflows/deploy.yml
.github/workflows/doc.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-logo.svg
docs/_custom/overrides/partials/logo.html
docs/assets/images/potassco-logo.svg
docs/assets/images/pt_rgb_green_digital.svg
docs/community/CHANGES.md
docs/community/CONTRIBUTING.md
docs/community/DEPLOYMENT.md
docs/community/DEVELOPMENT.md
docs/community/index.md
docs/examples/index.md
docs/reference/index.md
docs/reference/cli/index.md
docs/reference/encodings/index.md
docs/reference/language/def.md
docs/reference/language/in.md
docs/reference/language/index.md
docs/reference/language/minmax.md
docs/reference/language/sum.md
docs/reference/language/sus.md
docs/use/help.md
docs/use/installation.md
docs/use/quick-start.md
examples/car.lp
examples/config_assignment.lp
examples/config_default.lp
examples/config_default_df.lp
examples/config_default_in.lp
examples/config_maxlimit_choice.lp
examples/config_minmax_price.lp
examples/config_optional.lp
examples/config_pricelimit_choice.lp
examples/config_pricelimit_sum.lp
examples/config_pricelimit_sus.lp
examples/taxes.lp
examples/vicious_cycle.lp
src/flingo/__init__.py
src/flingo/__main__.py
src/flingo/astutil.py
src/flingo/parsing.py
src/flingo/py.typed
src/flingo/translator.py
src/flingo.egg-info/PKG-INFO
src/flingo.egg-info/SOURCES.txt
src/flingo.egg-info/dependency_links.txt
src/flingo.egg-info/entry_points.txt
src/flingo.egg-info/requires.txt
src/flingo.egg-info/scm_file_list.json
src/flingo.egg-info/scm_version.json
src/flingo.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_htc.py