solverpy/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/benchmark/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/benchmark/evals.py,sha256=pSPWOdWhZo63AGQ-i8K2kp9Qa_Hr5q4g5T3ltz_UAYs,1656
solverpy/path/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/path/bids.py,sha256=p2DBYYclxgZ0ZtADrlv9wJtbJUwdJT3A5SjlhaMUuDo,867
solverpy/path/sids.py,sha256=K_EFsLnRoW47UsvmPcQzjM96b5l2Ce3tXcvMxmbMmqw,351
solverpy/solver/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/pluginsolver.py,sha256=rDta52Lq0q6pEhWapgmqXDIvqbVKkKXwhWunu95N8BM,1639
solverpy/solver/shellsolver.py,sha256=VEQ68iffZh_7YErepg7nFdu9NLohfc1gwu4yuF3Nn_A,1051
solverpy/solver/smtsolver.py,sha256=JlDy13hB0M95kPUmf3tOXTn4c1U3rHgp42UKpKDEmFA,764
solverpy/solver/solver.py,sha256=kU8DKJ0shvRveQnbZhCvxVGf59mwGHmd5G8qTEV9gGM,648
solverpy/solver/timedsolver.py,sha256=PUNQdBt69I-6RE_tslQiIWYs6TRXCwPATD1IRvpJRGI,1234
solverpy/solver/tptpsolver.py,sha256=puAykwNSVCxJYotdidgojflgFq8tKbCH1j03jaWVkqg,1206
solverpy/solver/__old__/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/cachedsolver.py,sha256=J1KLRBE3u0si8PmcPaQHrd_GGYNKNwIOepY6CkpqLTc,2034
solverpy/solver/__old__/process.py,sha256=K_dWLWVpD5PA__rJxvMKE_9EOZa5fKWN4gZOqaG3Xj8,555
solverpy/solver/__old__/shellsolver.py,sha256=qx8Z4N7wH4qJmw8ETr4K7IcOPuZWw0ZyQuN1NhQmn2Y,2246
solverpy/solver/__old__/smtsolver.py,sha256=jZmLILIzI-qBhKT25lGijA0I85MajjcSEd2kFYChRuw,618
solverpy/solver/__old__/solver.py,sha256=ldVoBjZdWNGdyW7e_1PpWSRZ8zl6hS90FPzqesr2tLk,1650
solverpy/solver/__old__/tptpsolver.py,sha256=gRiym-507KU4bj22r2gVOZ5wnsSmMOXgWqgHLSjji9Q,1165
solverpy/solver/__old__/atp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/atp/eprover.py,sha256=arUQSogWg9aBHwk2Eyfl4y4NkT7cIUqW-rrQtxWPbbE,1534
solverpy/solver/__old__/atp/lash.py,sha256=ITLlAuXWkOm_3A7oaMoPWH0rJhzZI9r-7LhTSiUuOaA,852
solverpy/solver/__old__/atp/vampire.py,sha256=Btx-qimyRQyXpnsXGeOx8HxulkdXLH8HVH2hgsC93Ho,1065
solverpy/solver/__old__/plugins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/plugins/plugin.py,sha256=XgJO_VSSJh_ZBYXVM9Hwxw5i0viRjOHRdx0RJPpDc2o,81
solverpy/solver/__old__/plugins/provider.py,sha256=WZncImXGK1wGZmvmulC8QsJCcRj92zPZvGrCpmcrQuo,248
solverpy/solver/__old__/plugins/translator.py,sha256=8w468bD2498iXto_7vKj3BFZZLqRPBmpFHF5ASIm_eA,203
solverpy/solver/__old__/plugins/updater.py,sha256=B69nw72O23V-6flHbRbxNMTrY3XPAjXcLTeYPsgcM4Q,234
solverpy/solver/__old__/plugins/db/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/plugins/db/bid.py,sha256=6GhW3lKfJBNuHL-XAW6j03Gnhl2qyX9-GzoBj8Nh5b8,273
solverpy/solver/__old__/plugins/db/jsons.py,sha256=iyr6OrIlg7Gx1jjczzAxC3W-PEUiOniSU0QyUrjK9ME,1617
solverpy/solver/__old__/plugins/db/outputs.py,sha256=QZnRpu1MdjqpqrtMYev2SKHsF3XZhJlJOtlf20XM6cU,1158
solverpy/solver/__old__/plugins/db/sid.py,sha256=Z6e6I-VhgTh_9qwK20FiQUiwjOAI25C0nEyImM7e568,236
solverpy/solver/__old__/plugins/shell/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/plugins/shell/limits.py,sha256=ewAffPXjDt9-nsku-PI1lNZ7xG9gpjo32SbZqx0SGok,810
solverpy/solver/__old__/plugins/shell/time.py,sha256=VUdsi0fkRwRMp3J1NFdUgbavpSC84f7NAPzpgY0u0NU,685
solverpy/solver/__old__/plugins/shell/timeout.py,sha256=5-DgwJsfvhmhlREVh1vGZTSAKvoCCy_E3bkc6WFY5bk,390
solverpy/solver/__old__/plugins/status/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/plugins/status/smt.py,sha256=8xOH_Pf3krIYYEaGxGdnxpImKxL9u4scBBdZGzsftrc,365
solverpy/solver/__old__/plugins/status/tptp.py,sha256=MC_VHZl7CSMO_89Rpp4AB29TOCrkKAUxMOFWBwV_0SM,361
solverpy/solver/__old__/smt/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/__old__/smt/bitwuzla.py,sha256=j2u2KO7dYW-FsXF9scttt2_wAaVm-rnwyX_5i4v1cIc,1571
solverpy/solver/__old__/smt/z3.py,sha256=Oo9SrK9ElN-pmyK9HPsFCLiUGuZYMMGJ1bdnf5xXys8,717
solverpy/solver/atp/eprover.py,sha256=S14ZRzNpoPdxDJ22iH1mjq_UFomW_KNoDQFmwTytXyE,1468
solverpy/solver/atp/lash.py,sha256=nPoxQUbMYAHc2iMTyskIPkFXO4epzZkrbwqIQh9OIKc,777
solverpy/solver/atp/vampire.py,sha256=BsvJxCDlZ7m5E_CBjad_nHTo9Si7f5g0enOtqPUpo0w,998
solverpy/solver/plugins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/plugins/cachedprovider.py,sha256=cUoTFIOTpy--GtldSDJnf-AUznajgh8ZcS30xpUlYOo,1655
solverpy/solver/plugins/decorator.py,sha256=z3led2givB543npVQASNxTzlcRCGPQmJDZ3Ymx_COZo,241
solverpy/solver/plugins/plugin.py,sha256=XgJO_VSSJh_ZBYXVM9Hwxw5i0viRjOHRdx0RJPpDc2o,81
solverpy/solver/plugins/provider.py,sha256=WZncImXGK1wGZmvmulC8QsJCcRj92zPZvGrCpmcrQuo,248
solverpy/solver/plugins/translator.py,sha256=8w468bD2498iXto_7vKj3BFZZLqRPBmpFHF5ASIm_eA,203
solverpy/solver/plugins/db/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/plugins/db/bid.py,sha256=6GhW3lKfJBNuHL-XAW6j03Gnhl2qyX9-GzoBj8Nh5b8,273
solverpy/solver/plugins/db/errors.py,sha256=b7sIKUnrdXC6wLZcvpm6SG6AkV2RjI3RtMTEJFnF3ZM,816
solverpy/solver/plugins/db/jsons.py,sha256=WNvpk37Rue2lFUGtqxhnnk1DF_bZnIjHO-FNwPVzqq8,583
solverpy/solver/plugins/db/outputs.py,sha256=DG0zWVYVrqWLbFjIoCnB2L_jO-SvzNY3TZFQEoKx2Yo,1131
solverpy/solver/plugins/db/sid.py,sha256=Z6e6I-VhgTh_9qwK20FiQUiwjOAI25C0nEyImM7e568,236
solverpy/solver/plugins/db/solved.py,sha256=jFtPZF-_vATSC53-PNR7Xs8ai-kJsABN2-g5-658chs,877
solverpy/solver/plugins/db/status.py,sha256=ivnlAlldrv6ukTeywUuv0AfXsC8dWtOlgWI7eg3DA7U,950
solverpy/solver/plugins/db/yamls.py,sha256=oAZpZczV9Ots_AeW42ApUay5Gaac1bMSAfZRlkZaEec,578
solverpy/solver/plugins/shell/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/plugins/shell/limits.py,sha256=SrrKY4gvYYVZRev7EFiOD7Is2N166lH1gUuXLvnm1Ec,854
solverpy/solver/plugins/shell/time.py,sha256=1G6wjs7Txk3JfG-II2-eniN7Shk6TYuUf-uboW9Qoks,703
solverpy/solver/plugins/shell/timeout.py,sha256=QLtqTvOXyAvUnJyz3DPDOhxMAC3swUz2TEKk4KhDtLo,403
solverpy/solver/plugins/status/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/solver/plugins/status/smt.py,sha256=r5zzWbtZ86zUrDxQ0FZsX2gisFQJuLp5ULBk2PYBQ8k,382
solverpy/solver/plugins/status/tptp.py,sha256=FT3JwPJ42kAnJE34kpxrLzZlU27jwzVA6NcRkb4VMsM,378
solverpy/solver/smt/bitwuzla.py,sha256=SnatEWOrJFDkdMzZDBmspBCYEedePpCEg5UhFg9YypY,1467
solverpy/solver/smt/cvc5.py,sha256=D3R5L_H7hccLwB8xD0f8_Y3gBpA1wwAG8OyNoT-MMKI,1389
solverpy/solver/smt/z3.py,sha256=pRsFgQoy_ERXxECBW_AvpD2V1RP3FJ5xVEAZiTHTFq8,650
solverpy/tools/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
solverpy/tools/bars.py,sha256=tP_bnxJNzAisQLkriBdWQEEk7CvoByN0Sk6I-lyAK_4,1191
solverpy/tools/human.py,sha256=LvC7H6tWMdSpRYCkawZdbOcIJx-Crhh4GU1J0Vp415M,1097
solverpy/tools/par.py,sha256=im3TVLbvFKRY8zxcGxe0W5ZYnGMeVAk4xk6k0K_kD4s,1377
solverpy/tools/patterns.py,sha256=K_dWLWVpD5PA__rJxvMKE_9EOZa5fKWN4gZOqaG3Xj8,555
solverpy/tools/timeme.py,sha256=xBvFp53UUPgNZaBwBhGFDMqVCnPW4SeeboXcxsb2OpE,280
solverpy-0.1.0.dist-info/LICENSE,sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY,35149
solverpy-0.1.0.dist-info/METADATA,sha256=N96YQ0YwZqUMU5mUP8CUDq7GVFTipkd4dMLpPwlS7o0,595
solverpy-0.1.0.dist-info/WHEEL,sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18,92
solverpy-0.1.0.dist-info/top_level.txt,sha256=-pXP8BaazR1HPvFo9tVepEusnGQESi24VdLf2kwZj-I,9
solverpy-0.1.0.dist-info/RECORD,,
