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/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/setups/__init__.py
src/solverpy/setups/common.py
src/solverpy/setups/loop.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/decorator.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/errors.py
src/solverpy/solver/plugins/db/outputs.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/z3.py
src/solverpy/task/__init__.py
src/solverpy/task/bar.py
src/solverpy/task/launcher.py
src/solverpy/task/logtalker.py
src/solverpy/task/remotetalker.py
src/solverpy/task/shelltask.py
src/solverpy/task/solvertalker.py
src/solverpy/task/solvertask.py
src/solverpy/task/talker.py
src/solverpy/task/task.py
src/solverpy/tools/__init__.py
src/solverpy/tools/external.py
src/solverpy/tools/human.py
src/solverpy/tools/log.py
src/solverpy/tools/patterns.py
src/solverpy/tools/redirect.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