.envrc
.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
LIMITATIONS.md
README.md
TODO.md
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/test.yml
doc/Makefile
doc/conf.py
doc/index.md
doc/_static/logo-dark-mode.png
doc/_static/logo-light-mode.png
doc/_static/css/custom.css
doc/content/installation.md
doc/content/quickstart.md
doc/content/encodings/index.md
doc/content/encodings/instance.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
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/top_level.txt
src/clingexplaid/cli/style/mus.py
src/clingexplaid/exceptions/__init__.py
src/clingexplaid/mus/__init__.py
src/clingexplaid/mus/core_computer.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_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_muc.py
tests/clingexplaid/test_preprocessors.py
tests/clingexplaid/test_transformers.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