.envrc
.gitignore
.pre-commit-config.yaml
CONTRIBUTING.md
LICENSE
README.md
mkdocs.yml
mount-zip
noxfile.py
pyproject.toml
.github/workflows/deploy.yml
.github/workflows/doc.yml
.github/workflows/test.yml
docs/index.md
docs/_custom/css/extra.css
docs/_custom/css/mkdoclingo.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-dark.svg
docs/assets/images/potassco-logo.svg
docs/community/CONTRIBUTING.md
docs/community/help.md
docs/community/index.md
docs/examples/index.md
docs/getting_started/index.md
docs/getting_started/conv/index.md
docs/getting_started/eval/index.md
docs/getting_started/gen/index.md
docs/getting_started/gen/runscript.md
docs/getting_started/gen/templates.md
docs/getting_started/init/index.md
docs/getting_started/run_dist/index.md
docs/getting_started/verify/index.md
docs/getting_started/workflow/index.md
docs/reference/encoding_support.md
docs/reference/glossary.md
docs/reference/index.md
docs/reference/resultparser.md
docs/reference/api/entry_points.md
docs/reference/api/index.md
docs/reference/api/resultparser.md
docs/reference/api/tools.md
docs/reference/api/result/index.md
docs/reference/api/result/parser.md
docs/reference/api/result/result.md
docs/reference/api/result/xlsx_gen.md
docs/reference/api/runscript/index.md
docs/reference/api/runscript/parser.md
docs/reference/api/runscript/runscript.md
src/benchmarktool/__init__.py
src/benchmarktool/entry_points.py
src/benchmarktool/tools.py
src/benchmarktool/init/programs/clingo-latest
src/benchmarktool/init/programs/gcat.sh
src/benchmarktool/init/runscripts/runscript-all.xml
src/benchmarktool/init/runscripts/runscript-dist.xml
src/benchmarktool/init/runscripts/runscript-example.xml
src/benchmarktool/init/runscripts/runscript-seq.xml
src/benchmarktool/init/templates/seq-generic.sh
src/benchmarktool/init/templates/single.dist
src/benchmarktool/result/__init__.py
src/benchmarktool/result/parser.py
src/benchmarktool/result/result.py
src/benchmarktool/result/xlsx_gen/__init__.py
src/benchmarktool/result/xlsx_gen/spreadsheet.py
src/benchmarktool/result/xlsx_gen/xlsx_gen.py
src/benchmarktool/result/xlsx_gen/plot_sheets/__init__.py
src/benchmarktool/result/xlsx_gen/plot_sheets/chart_sheet.py
src/benchmarktool/result/xlsx_gen/plot_sheets/helper_sheet.py
src/benchmarktool/result/xlsx_gen/result_sheets/__init__.py
src/benchmarktool/result/xlsx_gen/result_sheets/class_sheet.py
src/benchmarktool/result/xlsx_gen/result_sheets/instance_sheet.py
src/benchmarktool/result/xlsx_gen/result_sheets/merged_sheet.py
src/benchmarktool/result/xlsx_gen/result_sheets/result_sheet.py
src/benchmarktool/resultparser/__init__.py
src/benchmarktool/resultparser/clasp.py
src/benchmarktool/runscript/__init__.py
src/benchmarktool/runscript/parser.py
src/benchmarktool/runscript/runscript.py
src/benchmarktool/runscript/schemas/benchmark_spec.xsd
src/benchmarktool/runscript/schemas/runscript.xsd
src/potassco_benchmark_tool.egg-info/PKG-INFO
src/potassco_benchmark_tool.egg-info/SOURCES.txt
src/potassco_benchmark_tool.egg-info/dependency_links.txt
src/potassco_benchmark_tool.egg-info/entry_points.txt
src/potassco_benchmark_tool.egg-info/requires.txt
src/potassco_benchmark_tool.egg-info/top_level.txt
tests/__init__.py
tests/py.typed
tests/test_entry.py
tests/test_tools.py
tests/ref/README.md
tests/ref/test_disttemplate.dist
tests/ref/test_eval.xml
tests/ref/test_template.sh
tests/ref/out/x.txt
tests/ref/results/clasp_error/runsolver.solver
tests/ref/results/clasp_error/runsolver.watcher
tests/ref/results/finished/runsolver.solver
tests/ref/results/finished/runsolver.watcher
tests/ref/results/memout/runsolver.solver
tests/ref/results/memout/runsolver.watcher
tests/ref/results/missing/x.txt
tests/ref/results/timeout/runsolver.solver
tests/ref/results/timeout/runsolver.watcher
tests/ref/runscripts/invalid_range.xml
tests/ref/runscripts/invalid_runscript.xml
tests/ref/runscripts/invalid_xml.xml
tests/ref/runscripts/test_runscript.xml
tests/ref/test_bench/.invalid.file
tests/ref/test_bench/spec.xml
tests/ref/test_bench/test_f1.2.1.lp
tests/ref/test_bench/test_f1.2.2.lp
tests/ref/test_bench/test_f2.lp
tests/ref/test_bench/test_folder/test_foldered.lp
tests/ref/test_foldered/test_folder/instance.lp
tests/ref/test_foldered/test_folder/spec.xml
tests/result/__init__.py
tests/result/test_result_classes.py
tests/result/test_result_parser.py
tests/result/xlsx_gen/__init__.py
tests/result/xlsx_gen/test_chart_sheet.py
tests/result/xlsx_gen/test_class_sheet.py
tests/result/xlsx_gen/test_helper_sheet.py
tests/result/xlsx_gen/test_instance_sheet.py
tests/result/xlsx_gen/test_merge_sheet.py
tests/result/xlsx_gen/test_result_sheet.py
tests/result/xlsx_gen/test_xlsx_gen.py
tests/resultparser/__init__.py
tests/resultparser/test_result_parser.py
tests/runscript/__init__.py
tests/runscript/test_runscript_classes.py
tests/runscript/test_runscript_parser.py