.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/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/ods_gen.md
docs/reference/api/result/parser.md
docs/reference/api/result/result.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/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-single.sh
src/benchmarktool/init/templates/seq-generic-zip.sh
src/benchmarktool/init/templates/seq-generic.sh
src/benchmarktool/init/templates/single.dist
src/benchmarktool/result/__init__.py
src/benchmarktool/result/ipynb_gen.py
src/benchmarktool/result/ods_config.py
src/benchmarktool/result/ods_gen.py
src/benchmarktool/result/parser.py
src/benchmarktool/result/result.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/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_runscript.xml
tests/ref/test_template.sh
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/timeout/runsolver.solver
tests/ref/results/timeout/runsolver.watcher
tests/ref/test_bench/.invalid.file
tests/ref/test_bench/test_f1.1.lp
tests/ref/test_bench/test_f1.2.1.lp
tests/ref/test_bench/test_f2.lp
tests/ref/test_bench/test_folder/test_foldered.lp
tests/result/__init__.py
tests/result/test_ipynb_gen.py
tests/result/test_ods_gen.py
tests/result/test_result_classes.py
tests/result/test_result_parser.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