LICENSE
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/launcher.py
src/solverpy/benchmark/setups.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/report/data.py
src/solverpy/benchmark/report/markdown.py
src/solverpy/builder/__init__.py
src/solverpy/builder/builder.py
src/solverpy/solver/__init__.py
src/solverpy/solver/pluginsolver.py
src/solverpy/solver/reloader.py
src/solverpy/solver/shellsolver.py
src/solverpy/solver/smtsolver.py
src/solverpy/solver/solver.py
src/solverpy/solver/stdinsolver.py
src/solverpy/solver/timedsolver.py
src/solverpy/solver/tptpsolver.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/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/plugins/trains/__init__.py
src/solverpy/solver/plugins/trains/cvc5.py
src/solverpy/solver/plugins/trains/svm.py
src/solverpy/solver/plugins/trains/trains.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/shelltask.py
src/solverpy/task/solvertask.py
src/solverpy/task/task.py
src/solverpy/tools/__init__.py
src/solverpy/tools/human.py
src/solverpy/tools/log.py
src/solverpy/tools/patterns.py
src/solverpy/tools/timeme.py
src/solverpy/trains/__init__.py
src/solverpy/trains/svm.py