pyproject.toml
src/solverpy/__init__.py
src/solverpy.egg-info/PKG-INFO
src/solverpy.egg-info/SOURCES.txt
src/solverpy.egg-info/dependency_links.txt
src/solverpy.egg-info/entry_points.txt
src/solverpy.egg-info/requires.txt
src/solverpy.egg-info/top_level.txt
src/solverpy/benchmark/__init__.py
src/solverpy/benchmark/evaluation.py
src/solverpy/benchmark/summary.py
src/solverpy/benchmark/db/__init__.py
src/solverpy/benchmark/db/cachedprovider.py
src/solverpy/benchmark/db/db.py
src/solverpy/benchmark/db/provider.py
src/solverpy/benchmark/db/providers/__init__.py
src/solverpy/benchmark/db/providers/jsons.py
src/solverpy/benchmark/db/providers/loader.py
src/solverpy/benchmark/db/providers/solved.py
src/solverpy/benchmark/db/providers/status.py
src/solverpy/benchmark/path/__init__.py
src/solverpy/benchmark/path/bids.py
src/solverpy/benchmark/path/sids.py
src/solverpy/benchmark/reports/__init__.py
src/solverpy/benchmark/reports/data.py
src/solverpy/benchmark/reports/markdown.py
src/solverpy/benchmark/reports/progress.py
src/solverpy/data/setups/eval-eprover.yml
src/solverpy/data/strats/cvc5/cvc5-smtcomp01
src/solverpy/data/strats/cvc5/cvc5-smtcomp02
src/solverpy/data/strats/cvc5/cvc5-smtcomp03
src/solverpy/data/strats/cvc5/cvc5-smtcomp04
src/solverpy/data/strats/cvc5/cvc5-smtcomp05
src/solverpy/data/strats/cvc5/cvc5-smtcomp06
src/solverpy/data/strats/cvc5/cvc5-smtcomp07
src/solverpy/data/strats/cvc5/cvc5-smtcomp08
src/solverpy/data/strats/cvc5/cvc5-smtcomp09
src/solverpy/data/strats/cvc5/cvc5-smtcomp10
src/solverpy/data/strats/cvc5/cvc5-smtcomp11
src/solverpy/data/strats/cvc5/cvc5-smtcomp12
src/solverpy/data/strats/cvc5/cvc5-smtcomp13
src/solverpy/data/strats/cvc5/cvc5-smtcomp14
src/solverpy/data/strats/cvc5/cvc5-smtcomp15
src/solverpy/data/strats/cvc5/cvc5-smtcomp16
src/solverpy/data/strats/cvc5/cvc5-smtcomp17
src/solverpy/data/strats/cvc5/cvc5-smtcomp18
src/solverpy/data/strats/cvc5/cvc5-smtcomp19
src/solverpy/data/strats/cvc5/cvc5-smtcomp20
src/solverpy/data/strats/cvc5/cvc5-smtcomp21
src/solverpy/data/strats/cvc5/cvc5-smtcomp22
src/solverpy/data/strats/cvc5/cvc5-smtcomp23
src/solverpy/data/strats/eprover/eprover-auto
src/solverpy/data/strats/eprover/eprover-autoschedule
src/solverpy/data/strats/eprover/eprover-blistrtune1572
src/solverpy/data/strats/eprover/eprover-bls0222
src/solverpy/data/strats/eprover/eprover-bls02af
src/solverpy/data/strats/eprover/eprover-bls03d5
src/solverpy/data/strats/eprover/eprover-bls049b
src/solverpy/data/strats/eprover/eprover-bls058d
src/solverpy/data/strats/eprover/eprover-bls05fc
src/solverpy/data/strats/eprover/eprover-bls0773
src/solverpy/data/strats/eprover/eprover-bls0a79
src/solverpy/data/strats/eprover/eprover-bls0a9a
src/solverpy/data/strats/eprover/eprover-bls0cf6
src/solverpy/data/strats/eprover/eprover-bls0e68
src/solverpy/data/strats/eprover/eprover-bls0edc
src/solverpy/data/strats/eprover/eprover-bls0f17
src/solverpy/data/strats/eprover/eprover-bls0f9e
src/solverpy/data/strats/eprover/eprover-bls0fdf
src/solverpy/data/strats/eprover/eprover-default
src/solverpy/data/strats/eprover/eprover-e-G_E___207_C18_F1_SE_CS_SP_PI_PS_S0Y
src/solverpy/data/strats/eprover/eprover-e-almost_fo_2
src/solverpy/data/strats/eprover/eprover-e-ehoh_best
src/solverpy/data/strats/eprover/eprover-e-full_lambda_10
src/solverpy/data/strats/eprover/eprover-e-full_lambda_6
src/solverpy/data/strats/eprover/eprover-e-ho_unfolding_5
src/solverpy/data/strats/eprover/eprover-e-ho_unfolding_7
src/solverpy/data/strats/eprover/eprover-e-nb5
src/solverpy/data/strats/eprover/eprover-e-nb5-sine
src/solverpy/data/strats/eprover/eprover-e-nb7
src/solverpy/data/strats/eprover/eprover-e-nb7-coop
src/solverpy/data/strats/eprover/eprover-e-nb7-solo
src/solverpy/data/strats/eprover/eprover-e-new_bool_5
src/solverpy/data/strats/eprover/eprover-e-new_bool_6
src/solverpy/data/strats/eprover/eprover-e-new_bool_7
src/solverpy/data/strats/eprover/eprover-e-new_bool_8
src/solverpy/data/strats/eprover/eprover-e-new_ho_10
src/solverpy/data/strats/eprover/eprover-e-new_ho_10_cnf2
src/solverpy/data/strats/eprover/eprover-e-new_ho_11
src/solverpy/data/strats/eprover/eprover-e-post_as_ho1
src/solverpy/data/strats/eprover/eprover-e-post_as_ho6
src/solverpy/data/strats/eprover/eprover-e-post_as_ho8
src/solverpy/data/strats/eprover/eprover-e-pre_casc_10
src/solverpy/data/strats/eprover/eprover-e-pre_casc_2
src/solverpy/data/strats/eprover/eprover-e-sh3
src/solverpy/data/strats/eprover/eprover-e-sh5
src/solverpy/data/strats/eprover/eprover-e-sh5l
src/solverpy/data/strats/eprover/eprover-e-sh6
src/solverpy/data/strats/eprover/eprover-eprover66
src/solverpy/data/strats/eprover/eprover-eprover73
src/solverpy/data/strats/eprover/eprover-mzr01
src/solverpy/data/strats/eprover/eprover-mzr02
src/solverpy/data/strats/eprover/eprover-mzr03
src/solverpy/data/strats/eprover/eprover-mzr04
src/solverpy/data/strats/eprover/eprover-mzr05
src/solverpy/data/strats/eprover/eprover-mzr06
src/solverpy/data/strats/eprover/eprover-mzr07
src/solverpy/data/strats/eprover/eprover-mzr08
src/solverpy/data/strats/eprover/eprover-mzr09
src/solverpy/data/strats/eprover/eprover-mzr10
src/solverpy/data/strats/eprover/eprover-mzr18
src/solverpy/data/strats/eprover/eprover-mzr22
src/solverpy/data/strats/eprover/eprover-paramils157
src/solverpy/data/strats/eprover/eprover-tptp0a
src/solverpy/report/__init__.py
src/solverpy/report/log.py
src/solverpy/report/talker/__init__.py
src/solverpy/report/talker/bar.py
src/solverpy/report/talker/evaltalker.py
src/solverpy/report/talker/logtalker.py
src/solverpy/report/talker/remotetalker.py
src/solverpy/report/talker/talker.py
src/solverpy/scripts/__init__.py
src/solverpy/scripts/clean.py
src/solverpy/scripts/cli.py
src/solverpy/scripts/esid2strat.py
src/solverpy/scripts/init.py
src/solverpy/scripts/report.py
src/solverpy/scripts/run.py
src/solverpy/setups/__init__.py
src/solverpy/setups/common.py
src/solverpy/setups/evalset.py
src/solverpy/setups/loop.py
src/solverpy/setups/runtime.py
src/solverpy/setups/setup.py
src/solverpy/setups/solver.py
src/solverpy/solver/__init__.py
src/solverpy/solver/object.py
src/solverpy/solver/pluginsolver.py
src/solverpy/solver/reloader.py
src/solverpy/solver/shellsolver.py
src/solverpy/solver/solver.py
src/solverpy/solver/solverpy.py
src/solverpy/solver/stdinsolver.py
src/solverpy/solver/atp/__init__.py
src/solverpy/solver/atp/cvc5.py
src/solverpy/solver/atp/eprover.py
src/solverpy/solver/atp/lash.py
src/solverpy/solver/atp/prover9.py
src/solverpy/solver/atp/vampire.py
src/solverpy/solver/plugins/__init__.py
src/solverpy/solver/plugins/apply.py
src/solverpy/solver/plugins/decorator.py
src/solverpy/solver/plugins/managed.py
src/solverpy/solver/plugins/plugin.py
src/solverpy/solver/plugins/translator.py
src/solverpy/solver/plugins/db/__init__.py
src/solverpy/solver/plugins/db/bid.py
src/solverpy/solver/plugins/db/eprovesid.py
src/solverpy/solver/plugins/db/errors.py
src/solverpy/solver/plugins/db/outputs.py
src/solverpy/solver/plugins/db/proofs.py
src/solverpy/solver/plugins/db/sid.py
src/solverpy/solver/plugins/shell/__init__.py
src/solverpy/solver/plugins/shell/limits.py
src/solverpy/solver/plugins/shell/memory.py
src/solverpy/solver/plugins/shell/shelltime.py
src/solverpy/solver/plugins/shell/time.py
src/solverpy/solver/plugins/shell/timeout.py
src/solverpy/solver/plugins/status/__init__.py
src/solverpy/solver/plugins/status/limiter.py
src/solverpy/solver/plugins/status/smt.py
src/solverpy/solver/plugins/status/tptp.py
src/solverpy/solver/smt/__init__.py
src/solverpy/solver/smt/bitwuzla.py
src/solverpy/solver/smt/cvc5.py
src/solverpy/solver/smt/llm2smt.py
src/solverpy/solver/smt/z3.py
src/solverpy/task/__init__.py
src/solverpy/task/launcher.py
src/solverpy/task/shelltask.py
src/solverpy/task/solvertask.py
src/solverpy/task/task.py
src/solverpy/tools/__init__.py
src/solverpy/tools/external.py
src/solverpy/tools/human.py
src/solverpy/tools/patterns.py
src/solverpy/tools/redirect.py
src/solverpy/tools/reporter.py
src/solverpy/tools/resources.py
src/solverpy/tools/timeme.py
src/solverpy/tools/typing.py
src/solverpy/tools/markdown/__init__.py
src/solverpy/tools/markdown/dia.py
src/solverpy/tools/markdown/plantuml.py