test/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
test/common.py,sha256=h4gbgFz2TaElPqFBEYU5lTnXRfHkFFZGDpZ1ENewsEw,1379
test/integration/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
test/integration/test_systemOnTPTP.py,sha256=j-BtYfRHiJptJ95OUHimzd9Jy2maCwzYOvRkm7ym2Ic,964
test/integration/bin/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
test/unit/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/__main__.py,sha256=Zhz-Zl44eb9XO4gHLtDhtF4BYwGB_yps1G3_RvOfWWw,82
tptp/benchmark/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/competition/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/competition/casc.py,sha256=Khu8mQTnZUA3STmXcvvZUbsEIjKRoYqoegKvEosANlw,5958
tptp/competition/competition.py,sha256=Zzo5eiGdPBTp7UiAANBK3MDk7IwiWMoJhuHiVNzCqRw,2185
tptp/core/__init__.py,sha256=2mKl1iHm53g3UNElzlKPkdUkdLatyK138jFYl97Gaa0,155
tptp/core/problem.py,sha256=at1F_yfMaftZCzzyt3FPFBo0xybOLNFSrDyyvFxgQkk,3897
tptp/core/szs.py,sha256=705Tfp7yTGchpUsEvloWfqDRruiSWBFGHZeWqphcHm4,15162
tptp/core/tptpInputLanguages.py,sha256=BIToX-UI4vZ-rGtFLzJghiliCmDizV54lqFcQut-BKg,10624
tptp/encoding/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/encoding/dimacs.py,sha256=Yyc6gC2GdNjBpMCDKLXEmqZSqCQ_Q4k96cZQu91OP2U,1862
tptp/encoding/encoder.py,sha256=M72jLLn3YrNGws7xVoaWvxuR8qzOSXlWJaob3Arvadk,205
tptp/encoding/encodingChooser.py,sha256=12pYT323gcEUQJHsXSQKnBMG9xHtkJ7QyHC4C3K6Q8M,302
tptp/encoding/encodingResult.py,sha256=cmiG5K4UTd2zwL-3Oe87dKC9zhbH4MyFZguVvAQ9YCA,192
tptp/encoding/encodingUtils.py,sha256=RGPcGA7KOSRMswnTi02DymgMC7-1lSG1CH2h7kiWaVc,258
tptp/frontend/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/frontend/bin/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/frontend/bin/__main__.py,sha256=bEg3McwhzDU-tsQOXKRAOIAm1dow26RJRbKc7l0lv-U,1187
tptp/frontend/bin/toolBase.py,sha256=MSQpT99mNq9HN_JNLA4_QY8Nml8Z3yY7lpt-k6SfHgs,1295
tptp/frontend/bin/toolCompetition.py,sha256=BCoJbGRH2JvE39H0MsR0qVMdNsSR7cffvll1N65a1Xc,4088
tptp/frontend/bin/toolEncoder.py,sha256=a3rVlUiMo77ANS06_NJRWnk9hRUBztv0gDZJ32NtUys,1001
tptp/frontend/bin/toolLocalSolver.py,sha256=B-Un5FbzlVh1pur6XoEpmhI16hFoJeLJULE7GYNBRT8,3403
tptp/frontend/bin/toolSystemOnTPTP.py,sha256=dXcvD4YLkK31mwSaUIPcPbIIn1Y5AmukNOYw4T__T2I,2053
tptp/frontend/statistics/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/frontend/statistics/common.py,sha256=zRAj5oXQlrUM5E2dpxrzo7-bOConoW8h7JCxSQ4UbkA,542
tptp/frontend/statistics/competitionBarCharts.py,sha256=EpoU65UBjSQdj43fzGpY2-vEp_JpZDwSWwCeLpyxVk4,4336
tptp/frontend/statistics/dummyResults.py,sha256=hphP8lWIGKwOXLVEX2P-WGiX5vEaFDk93cyKaG9Impg,2054
tptp/parser/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/reasoning/__init__.py,sha256=vQK6uNfoQjgWo4IdHC0LPkvsW9vc0sPEHn9SiEFE500,229
tptp/reasoning/capability.py,sha256=Rhx8DUvl6c1NGi-KthlzvRRmfl_SimgY-3WS1VEcesY,3110
tptp/reasoning/capabilityDiscovery.py,sha256=EOUrT2elPRDGwE2IAAVRbY3K5Ad-MCLOgmMFaweyA0g,1445
tptp/reasoning/loader.py,sha256=Vi_oz7OpGclOqPjisxia6i2-hXlP73dmSuKtU-jlif0,3061
tptp/reasoning/localSolver.py,sha256=Txot8-bJrMFOT81FIlbSyKtJPQU9q7bCbP3D1eRIE3M,5971
tptp/reasoning/systemOnTPTP.py,sha256=ZQiJ5QnOi5_wkkauei7uPzqhmdEwpYynUSLxUrgSp_0,7237
tptp/reasoning/core/__init__.py,sha256=iYRt81BYwUJRPV1N8GX0JsaJwCWP78VbFyxPDY04YjU,136
tptp/reasoning/core/reasoningExecuter.py,sha256=A_0QWLj9fhVBmmgCsPIxRYxIG6CmSTRJgsxJzN3gydA,383
tptp/reasoning/core/solver.py,sha256=uXX3ijaH-JNPpd8pVI6vyvAo3ctiweJKuTZdUKws6-M,1150
tptp/reasoning/core/solverCall.py,sha256=ixe3yDTanarG7tH3MBqXF1La3hecpEmw8-EMYk_-yB8,4372
tptp/reasoning/core/solverResult.py,sha256=BgLjA7fx6rhCo1wZjL3R94zysw8pT1eudtkzvpl2cjY,1178
tptp/reasoning/core/solverType.py,sha256=tmd-xu5vhJ-IDUoG13BCQAPDQRVclOmQpfQJ5t_7BxA,163
tptp/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/utils/color.py,sha256=ohPSNvzd_Any_0pT2HO4gT1xrqGDyAGBO3cW5ClL91E,2523
tptp/utils/concurrent/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp/utils/concurrent/httpRequest.py,sha256=YbAXhy90vjTQEKOQZf5_Ua4Arl7NhoGIW0ROdLAwSuo,4118
tptp/utils/concurrent/localProcess.py,sha256=tu61NS3wsPGobVl9jx9bC5CEKN3ErpBxQYmYnPqYG7A,8582
tptp/utils/concurrent/process.py,sha256=McC2POvxpKeD_aZJ--rC00AEsgaQMSCAXjxmD3hp_R4,3009
tptp/utils/concurrent/processExecuter.py,sha256=4xWT_ZFzFARet705017tIGorazFYVrmUkcrGnmxW0Ic,1412
tptp/utils/concurrent/threadedTaskExecuter.py,sha256=ZY6biynUoP81cqVY40g5WjbSuPotp0IiAn9qwX2aJko,5655
tptp/utils/concurrent/timer.py,sha256=f3AgbpKa8I-iHklnbh5qAdjk4jAzoScSdgNLA-cphsU,2887
tptp-0.0.3.dev2.dist-info/LICENSE,sha256=T54JAbLyYQkCGJ-4arCW0nO7_dDhB2YHfoBs8KBEMm0,1543
tptp-0.0.3.dev2.dist-info/METADATA,sha256=_KZc9F0saGf7mt_FjtRaGWTR1mEVx_aCXJg2ZMWEOfg,4116
tptp-0.0.3.dev2.dist-info/WHEEL,sha256=p46_5Uhzqz6AzeSosiOnxK-zmFja1i22CrQCjmYe8ec,92
tptp-0.0.3.dev2.dist-info/entry_points.txt,sha256=LUq3WuPsusQjE_vAeTnnFyuf8sw6xUmVyJk1Hlkfk3k,58
tptp-0.0.3.dev2.dist-info/top_level.txt,sha256=WoGRAWlZRMPlMIm-kiwuRkb_mv_t7jYCwzohLKQn6cI,10
tptp-0.0.3.dev2.dist-info/RECORD,,
