.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
EXPLORERS.md
LICENSE
LIMITATIONS.md
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-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/constraints.md
docs/examples/index.md
docs/examples/preprocessors.md
docs/examples/subsets.md
docs/examples/transformers.md
docs/reference/index.md
docs/reference/api/exceptions.md
docs/reference/api/preprocessors.md
docs/reference/api/propagators.md
docs/reference/api/transformers.md
docs/reference/api/unsat.md
docs/reference/api/utils.md
docs/use/help.md
docs/use/installation.md
docs/use/quick-start.md
examples/graph_coloring/README.md
examples/graph_coloring/encoding.lp
examples/graph_coloring/graph_coloring_example.svg
examples/graph_coloring/instance.lp
examples/misc/bad_mucs.lp
examples/misc/sat.lp
examples/misc/sat_simple.lp
examples/misc/simple.lp
examples/misc/soup.lp
examples/misc/sudoku_4x4.lp
examples/misc/sudoku_encoding.lp
examples/misc/sudoku_encoding_2.lp
examples/misc/test.lp
examples/misc/test2.lp
examples/misc/test3.lp
examples/misc/test4.lp
examples/misc/test_inert.lp
examples/misc/x.lp
examples/misc/zero_arity_assumptions.lp
examples/misc/test/blob.lp
examples/queens/README.md
examples/queens/encoding.lp
examples/queens/instance.lp
examples/queens/queens_example.svg
examples/sudoku/README.md
examples/sudoku/encoding.lp
examples/sudoku/instance.lp
examples/sudoku/sudoku_example.svg
scripts/all_enum_test.py
scripts/mus_enum_test.py
scripts/mus_test.py
scripts/unsat_constrains.py
src/clingexplaid/__init__.py
src/clingexplaid/py.typed
src/clingexplaid.egg-info/PKG-INFO
src/clingexplaid.egg-info/SOURCES.txt
src/clingexplaid.egg-info/dependency_links.txt
src/clingexplaid.egg-info/requires.txt
src/clingexplaid.egg-info/scm_file_list.json
src/clingexplaid.egg-info/scm_version.json
src/clingexplaid.egg-info/top_level.txt
src/clingexplaid/exceptions/__init__.py
src/clingexplaid/preprocessors/__init__.py
src/clingexplaid/preprocessors/preprocessor_assumption.py
src/clingexplaid/propagators/__init__.py
src/clingexplaid/propagators/constants.py
src/clingexplaid/propagators/propagator_solver_decisions.py
src/clingexplaid/transformers/__init__.py
src/clingexplaid/transformers/constants.py
src/clingexplaid/transformers/transformer_constraint.py
src/clingexplaid/transformers/transformer_fact.py
src/clingexplaid/transformers/transformer_optimization_remover.py
src/clingexplaid/transformers/transformer_rule_id.py
src/clingexplaid/transformers/transformer_rule_splitter.py
src/clingexplaid/unsat/__init__.py
src/clingexplaid/unsat/computer.py
src/clingexplaid/unsat/lattice.py
src/clingexplaid/unsat/sets.py
src/clingexplaid/unsat/utils.py
src/clingexplaid/unsat_constraints/__init__.py
src/clingexplaid/unsat_constraints/constants.py
src/clingexplaid/unsat_constraints/unsat_constraint_computer.py
src/clingexplaid/utils/__init__.py
src/clingexplaid/utils/logging.py
src/clingexplaid/utils/match.py
src/clingexplaid/utils/parser.py
src/clingexplaid/utils/symbols.py
src/clingexplaid/utils/types.py
tests/__init__.py
tests/py.typed
tests/test_main.py
tests/clingexplaid/__init__.py
tests/clingexplaid/test_main.py
tests/clingexplaid/test_preprocessors.py
tests/clingexplaid/test_transformers.py
tests/clingexplaid/test_unsat.py
tests/clingexplaid/test_unsat_constraints.py
tests/clingexplaid/test_utils.py
tests/clingexplaid/res/test_constant.lp
tests/clingexplaid/res/test_included.lp
tests/clingexplaid/res/test_includes.lp
tests/clingexplaid/res/test_program.lp
tests/clingexplaid/res/test_program_constants.lp
tests/clingexplaid/res/test_program_constraints.lp
tests/clingexplaid/res/test_program_decision_order.lp
tests/clingexplaid/res/test_program_multi_mus.lp
tests/clingexplaid/res/test_program_optimization.lp
tests/clingexplaid/res/test_program_pattern.lp
tests/clingexplaid/res/test_program_rules.lp
tests/clingexplaid/res/test_program_unsat_constraints.lp
tests/clingexplaid/res/transformed_constant.lp
tests/clingexplaid/res/transformed_includes.lp
tests/clingexplaid/res/transformed_program_assumptions_all.lp
tests/clingexplaid/res/transformed_program_assumptions_certain_signatures.lp
tests/clingexplaid/res/transformed_program_constraints.lp
tests/clingexplaid/res/transformed_program_constraints_id.lp
tests/clingexplaid/res/transformed_program_facts.lp
tests/clingexplaid/res/transformed_program_nothing_transformed.lp
tests/clingexplaid/res/transformed_program_optimization.lp
tests/clingexplaid/res/transformed_program_pattern.lp
tests/clingexplaid/res/transformed_program_rule_ids.lp
tests/clingexplaid/res/transformed_program_rules_split.lp