.envrc
.gitignore
.pre-commit-config.yaml
CHANGES.md
CONTRIBUTING.md
DEPLOYMENT.md
DEVELOPMENT.md
LICENSE
README.md
init.py
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/index.md
docs/reference/index.md
docs/reference/overview.md
docs/reference/api/algorithms.md
docs/reference/api/shrink.md
docs/reference/api/utils.md
docs/use/help.md
docs/use/installation.md
docs/use/quick-start.md
src/musclingo/__init__.py
src/musclingo/heuristic_utils.py
src/musclingo/hitting_set.py
src/musclingo/lattice.py
src/musclingo/py.typed
src/musclingo.egg-info/PKG-INFO
src/musclingo.egg-info/SOURCES.txt
src/musclingo.egg-info/dependency_links.txt
src/musclingo.egg-info/requires.txt
src/musclingo.egg-info/scm_file_list.json
src/musclingo.egg-info/scm_version.json
src/musclingo.egg-info/top_level.txt
src/musclingo/algorithms/__init__.py
src/musclingo/algorithms/camus.py
src/musclingo/algorithms/checkers.py
src/musclingo/algorithms/ihs.py
src/musclingo/algorithms/marco.py
src/musclingo/shrink/__init__.py
src/musclingo/shrink/linear_elimination.py
src/musclingo/shrink/protocol.py
src/musclingo/shrink/quickxplain.py
src/musclingo/utils/__init__.py
src/musclingo/utils/logging.py
src/musclingo/utils/parser.py
tests/__init__.py
tests/gc_cores.lp
tests/py.typed
tests/test_gc_cores.py
tests/test_main.py