.gitignore
.pre-commit-config.yaml
.readthedocs.yaml
LICENSE
README.md
noxfile.py
pyproject.toml
setup.py
zensical.toml
.github/workflows/ci-test.yml
.github/workflows/deploy.yml
.github/workflows/docs.yml
docs/index.md
docs/_custom/css/extra.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.svg
docs/community/contributing.md
docs/community/index.md
docs/getting_started/guide.md
docs/getting_started/index.md
docs/getting_started/benchmark-tool/index.md
docs/getting_started/benchmark-tool/program.md
docs/getting_started/benchmark-tool/runscripts.md
docs/getting_started/examples/demo.md
docs/getting_started/examples/golf.md
docs/getting_started/examples/golf_config.md
docs/getting_started/examples/golf_declarative.md
docs/getting_started/examples/index.md
docs/implementation/index.md
docs/implementation/interfaces.md
docs/implementation/lns.md
docs/implementation/lib/index.md
docs/implementation/lib/adaptive_strategies/index.md
docs/implementation/lib/adaptive_strategies/roulette_wheel.md
docs/implementation/lib/adaptive_strategies/static.md
docs/implementation/lib/auto_destruction_converters/average.md
docs/implementation/lib/auto_destruction_converters/index.md
docs/implementation/lib/auto_destruction_converters/last_improv.md
docs/implementation/lib/components/constrained.md
docs/implementation/lib/components/destruction.md
docs/implementation/lib/components/heuristics.md
docs/implementation/lib/components/index.md
docs/implementation/lib/components/output.md
docs/implementation/lib/components/repair.md
docs/implementation/lib/components/utils.md
docs/implementation/lib/solvers/clingcon.md
docs/implementation/lib/solvers/clingo.md
docs/implementation/lib/solvers/clingodl.md
docs/implementation/lib/solvers/index.md
docs/implementation/parsers/config_parser.md
docs/implementation/parsers/index.md
docs/implementation/parsers/options_parser.md
docs/implementation/utils/conversions.md
docs/implementation/utils/index.md
docs/implementation/utils/logger.md
docs/implementation/utils/types.md
examples/.gitkeep
examples/demo.py
examples/golf.lp
examples/golf_config.lp
examples/golf_declarative.lp
src/fastlane/__init__.py
src/fastlane/__main__.py
src/fastlane/lns.py
src/fastlane/lns_options.py
src/fastlane/py.typed
src/fastlane/interfaces/__init__.py
src/fastlane/interfaces/adaptive_strategy.py
src/fastlane/interfaces/auto_destruction_converter.py
src/fastlane/interfaces/solver.py
src/fastlane/lib/__init__.py
src/fastlane/lib/adaptive_strategies/__init__.py
src/fastlane/lib/adaptive_strategies/roulette_wheel.py
src/fastlane/lib/adaptive_strategies/static.py
src/fastlane/lib/auto_destruction_converters/__init__.py
src/fastlane/lib/auto_destruction_converters/average.py
src/fastlane/lib/auto_destruction_converters/last_improv.py
src/fastlane/lib/auto_destruction_converters/utils.py
src/fastlane/lib/components/__init__.py
src/fastlane/lib/components/constrained.py
src/fastlane/lib/components/destruction.py
src/fastlane/lib/components/heuristics.py
src/fastlane/lib/components/output.py
src/fastlane/lib/components/repair.py
src/fastlane/lib/components/utils.py
src/fastlane/lib/solvers/__init__.py
src/fastlane/lib/solvers/clingcon_solver.py
src/fastlane/lib/solvers/clingo_dl_solver.py
src/fastlane/lib/solvers/clingo_solver.py
src/fastlane/parsers/__init__.py
src/fastlane/parsers/config_parser.py
src/fastlane/parsers/options_parser.py
src/fastlane/utils/__init__.py
src/fastlane/utils/conversions.py
src/fastlane/utils/logger.py
src/fastlane/utils/types.py
src/potassco_fastlane.egg-info/PKG-INFO
src/potassco_fastlane.egg-info/SOURCES.txt
src/potassco_fastlane.egg-info/dependency_links.txt
src/potassco_fastlane.egg-info/entry_points.txt
src/potassco_fastlane.egg-info/requires.txt
src/potassco_fastlane.egg-info/scm_file_list.json
src/potassco_fastlane.egg-info/scm_version.json
src/potassco_fastlane.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_helper.py
tests/test_integration.py
tests/test_lns.py
tests/test_lns_options.py
tests/test_types.py
tests/test_utils.py
tests/adaptive_strategies/__init__.py
tests/adaptive_strategies/test_roulette_wheel.py
tests/adaptive_strategies/test_static.py
tests/auto_destruction_converters/__init__.py
tests/auto_destruction_converters/test_average.py
tests/auto_destruction_converters/test_last_improv.py
tests/auto_destruction_converters/test_utils.py
tests/components/__init__.py
tests/components/test_constrained.py
tests/components/test_destruction.py
tests/components/test_heuristics.py
tests/components/test_output.py
tests/components/test_repair.py
tests/components/test_utils.py
tests/parsers/__init__.py
tests/parsers/test_config_parser.py
tests/parsers/test_options_parser.py
tests/ref/golf.lp
tests/ref/golf_big.lp
tests/ref/golf_config.lp
tests/solver/__init__.py
tests/solver/test_clingcon.py
tests/solver/test_clingo.py
tests/solver/test_clingodl.py