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/top_level.txt
src/solverpy/benchmark/__init__.py
src/solverpy/benchmark/evals.py
src/solverpy/path/__init__.py
src/solverpy/path/bids.py
src/solverpy/path/sids.py
src/solverpy/solver/__init__.py
src/solverpy/solver/pluginsolver.py
src/solverpy/solver/shellsolver.py
src/solverpy/solver/smtsolver.py
src/solverpy/solver/solver.py
src/solverpy/solver/timedsolver.py
src/solverpy/solver/tptpsolver.py
src/solverpy/solver/__old__/__init__.py
src/solverpy/solver/__old__/cachedsolver.py
src/solverpy/solver/__old__/process.py
src/solverpy/solver/__old__/shellsolver.py
src/solverpy/solver/__old__/smtsolver.py
src/solverpy/solver/__old__/solver.py
src/solverpy/solver/__old__/tptpsolver.py
src/solverpy/solver/__old__/atp/__init__.py
src/solverpy/solver/__old__/atp/eprover.py
src/solverpy/solver/__old__/atp/lash.py
src/solverpy/solver/__old__/atp/vampire.py
src/solverpy/solver/__old__/plugins/__init__.py
src/solverpy/solver/__old__/plugins/plugin.py
src/solverpy/solver/__old__/plugins/provider.py
src/solverpy/solver/__old__/plugins/translator.py
src/solverpy/solver/__old__/plugins/updater.py
src/solverpy/solver/__old__/plugins/db/__init__.py
src/solverpy/solver/__old__/plugins/db/bid.py
src/solverpy/solver/__old__/plugins/db/jsons.py
src/solverpy/solver/__old__/plugins/db/outputs.py
src/solverpy/solver/__old__/plugins/db/sid.py
src/solverpy/solver/__old__/plugins/shell/__init__.py
src/solverpy/solver/__old__/plugins/shell/limits.py
src/solverpy/solver/__old__/plugins/shell/time.py
src/solverpy/solver/__old__/plugins/shell/timeout.py
src/solverpy/solver/__old__/plugins/status/__init__.py
src/solverpy/solver/__old__/plugins/status/smt.py
src/solverpy/solver/__old__/plugins/status/tptp.py
src/solverpy/solver/__old__/smt/__init__.py
src/solverpy/solver/__old__/smt/bitwuzla.py
src/solverpy/solver/__old__/smt/z3.py
src/solverpy/solver/atp/eprover.py
src/solverpy/solver/atp/lash.py
src/solverpy/solver/atp/vampire.py
src/solverpy/solver/plugins/__init__.py
src/solverpy/solver/plugins/cachedprovider.py
src/solverpy/solver/plugins/decorator.py
src/solverpy/solver/plugins/plugin.py
src/solverpy/solver/plugins/provider.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/jsons.py
src/solverpy/solver/plugins/db/outputs.py
src/solverpy/solver/plugins/db/sid.py
src/solverpy/solver/plugins/db/solved.py
src/solverpy/solver/plugins/db/status.py
src/solverpy/solver/plugins/db/yamls.py
src/solverpy/solver/plugins/shell/__init__.py
src/solverpy/solver/plugins/shell/limits.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/smt.py
src/solverpy/solver/plugins/status/tptp.py
src/solverpy/solver/smt/bitwuzla.py
src/solverpy/solver/smt/cvc5.py
src/solverpy/solver/smt/z3.py
src/solverpy/tools/__init__.py
src/solverpy/tools/bars.py
src/solverpy/tools/human.py
src/solverpy/tools/par.py
src/solverpy/tools/patterns.py
src/solverpy/tools/timeme.py