tensor_theorem_prover/__init__.py,sha256=aTWxDkoXHyKe4K1IH9W7xY8mE-qudm-EweRnFLO8ow4,707
tensor_theorem_prover/normalize/Skolemizer.py,sha256=afX7B91micicndz16Ph6iUGHqRyEe2uS1CxR_V6jmGE,394
tensor_theorem_prover/normalize/__init__.py,sha256=i_sG9HiT35Xr_cG5YRS-K3Cg4aR8o5D3_ahTPk3msVE,231
tensor_theorem_prover/normalize/find_unbound_var_names.py,sha256=AWNgmqYEDfNnsR37GhYEg9QJQeX3t2yHRvgw1UiS5C4,1809
tensor_theorem_prover/normalize/normalize_conjunctions.py,sha256=cE1QTud2I3F95idcG2SsWc6lExWe-Cf78ggpqbufq50,1259
tensor_theorem_prover/normalize/normalize_quantifiers.py,sha256=Z3ABwmaAcuZAWAbLoWokxWk7OClxrxE-aSi4Wh8A38s,3368
tensor_theorem_prover/normalize/normalize_variables.py,sha256=QrvYStNS7Eo_WYTqZy3e177MSskwe8kaiS3LUr0E7is,3506
tensor_theorem_prover/normalize/to_cnf.py,sha256=5wVs9RT4YlWHvdZKpnu5siofyuxjoRSS8VgpyFn8Hl4,4305
tensor_theorem_prover/normalize/to_nnf.py,sha256=JmcW1ToM9u8Wio_cEkOcKIBBz31sgprx84DhTvrI9Rk,2250
tensor_theorem_prover/prover/Proof.py,sha256=4RjGNmILMXG8qqOm3sPtqYY-9SlAbRspkiBpNYDeV14,3193
tensor_theorem_prover/prover/ProofContext.py,sha256=0zsoLobGK5HsbdwWwG0BlxyHLehxJ5sbeGsAewS9MrE,3115
tensor_theorem_prover/prover/ProofStats.py,sha256=XdnsY8JvsrjQzijNOnutjYQqqGSAaqoOqxhiMGu1DHA,530
tensor_theorem_prover/prover/ProofStep.py,sha256=FaBOlniwcKXQx0YvlqfLShf_b3JSAwGHjSaJCRDgXJM,1465
tensor_theorem_prover/prover/ProofStepAccumulator.py,sha256=teF4ebdL2lyP-Wu6-AFQtjjPl21UbRh12eaadoaXPI0,1888
tensor_theorem_prover/prover/ResolutionProver.py,sha256=Qn9cp_y8TRhsqGofsTwUJxC4Rdx6tsgN4cK7sSuBS_E,8701
tensor_theorem_prover/prover/__init__.py,sha256=-ZCZcNeD6kTaV6sRUc1XtZ_V8x1o-rggcrQutsqWJoM,208
tensor_theorem_prover/prover/operations/resolve.py,sha256=g5B2d2qeP4-gKvzIi31lqtizxJryfSmCu9Cth7OeXZk,6994
tensor_theorem_prover/prover/operations/unify.py,sha256=li6GjzT4WmLV6VpBJMQP-W75zpeI_Bp2_DnLLEPEMOs,8653
tensor_theorem_prover/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensor_theorem_prover/similarity.py,sha256=YqkhEdzVCdpUo-CbS_qne8k78Mt2N_G48UaMoAqrb0k,2217
tensor_theorem_prover/types/Atom.py,sha256=kRN1psCkIb-ArIO0Et5trlZqQ1djke2zKZ-mI_xC-QQ,574
tensor_theorem_prover/types/Constant.py,sha256=Lu75MMq6Sm0St8X-f19PYAB7fN0DVduzAxDaCQ2tq_8,438
tensor_theorem_prover/types/Function.py,sha256=OkNQGi_Mdls0D3skgQwFb1spqO0vyTEHrU5jiBePm14,850
tensor_theorem_prover/types/Predicate.py,sha256=GdNBqZTON0NbBeQkHxFO7Bi8l-H6Vu65GPBMnlZdzJc,1034
tensor_theorem_prover/types/Variable.py,sha256=e9bp2lEuNwcc_eNWJ9WKD-Su8jp86ChHqvMjeIST-dk,207
tensor_theorem_prover/types/__init__.py,sha256=SfGnN5PLR0J5k1PODYscNgpcaDv4sjPThLUoSzbzqe0,449
tensor_theorem_prover/types/connectives.py,sha256=918_OE0WcORSStBE1E2iqd5LvoEV8-hfJbHdw8EMapg,2810
tensor_theorem_prover/util/find_variables_in_terms.py,sha256=CEz_T0OqD3W9daoSt1D_mQl67TFekYTdPl0BoKdtnYo,556
tensor_theorem_prover-0.11.2.dist-info/METADATA,sha256=XRrRAuLPr60LJIKP8Nq-vcwJCL7dJTqxJY8YBBHbsbU,9832
tensor_theorem_prover-0.11.2.dist-info/LICENSE,sha256=Ux853LGONRUrh06u_wM5MUTT0_GfiW6YqrloKJMlDxk,1069
tensor_theorem_prover-0.11.2.dist-info/WHEEL,sha256=vVCvjcmxuUltf8cYhJ0sJMRDLr1XsPuxEId8YDzbyCY,88
tensor_theorem_prover-0.11.2.dist-info/RECORD,,
