tensor_theorem_prover/__init__.py,sha256=scAGEWF5Coz1vdB2DE3E2hVl_pyiFKg8BO9hw5w5EYk,677
tensor_theorem_prover/normalize/Skolemizer.py,sha256=afX7B91micicndz16Ph6iUGHqRyEe2uS1CxR_V6jmGE,394
tensor_theorem_prover/normalize/__init__.py,sha256=4MxmNfNY-BZi86rcsCsnkyRw7w1VruI2udpl8Onrkgc,158
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=AGuLVkAuZINAQuuqJWAuR151cXL2fEYbh_gu-bDaJ34,2611
tensor_theorem_prover/normalize/to_nnf.py,sha256=JmcW1ToM9u8Wio_cEkOcKIBBz31sgprx84DhTvrI9Rk,2250
tensor_theorem_prover/prover/Proof.py,sha256=LhB3K7tIojhtwHOj_d2ThHl0JxHXUiHNZ53B1xecJqw,3124
tensor_theorem_prover/prover/ProofContext.py,sha256=aN5xbXBny365FlE6_kCFXE0jxV5WPKhovFOGH8fgE2A,1626
tensor_theorem_prover/prover/ProofStats.py,sha256=x-gH0EmLhEMWGpl1W0_MPD8Prulx-NQhS9OF8Yz6IsQ,467
tensor_theorem_prover/prover/ProofStep.py,sha256=ZiUleZ5fK5JJgMTKdlUmnWCO-YdNDyBc6DoSO-mq5LQ,1404
tensor_theorem_prover/prover/ProofStepAccumulator.py,sha256=teF4ebdL2lyP-Wu6-AFQtjjPl21UbRh12eaadoaXPI0,1888
tensor_theorem_prover/prover/ResolutionProver.py,sha256=OYDGH_YMqcO7Z5b0fyjxfiwYliBkV3f5h3LRiPX6Z-w,7614
tensor_theorem_prover/prover/__init__.py,sha256=-ZCZcNeD6kTaV6sRUc1XtZ_V8x1o-rggcrQutsqWJoM,208
tensor_theorem_prover/prover/operations/resolve.py,sha256=MY7w4TzYf1n7uAPul_znpLFWiGq-Qn8joGo33Wvf7aw,6807
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=XJoZhwZpYpqGUCfVNV5FBoKzwHox2iyJfSEbC3ePZyI,517
tensor_theorem_prover/types/Constant.py,sha256=DCzcR0SfcMkTNpGVj8s5H2D3yRse1nYsPd3I0YnUdVY,219
tensor_theorem_prover/types/Function.py,sha256=FEiD35K8OJOe5UtxOE1p3T7ehoVO8JiEizZGnhJ78NM,789
tensor_theorem_prover/types/Predicate.py,sha256=JVPQIi5-3O0NmUTIstbHZeuxuXgG3d8LjRMpS91N1S0,814
tensor_theorem_prover/types/Variable.py,sha256=-1VOO8B9SJ290if6KpdcH7LYKdCGMfHAYZgEEjmaL7Q,146
tensor_theorem_prover/types/__init__.py,sha256=SfGnN5PLR0J5k1PODYscNgpcaDv4sjPThLUoSzbzqe0,449
tensor_theorem_prover/types/connectives.py,sha256=kWsqWi8Dl6MXc4irPidaqHRCZpU42CfXcrJqoUxzC8M,2607
tensor_theorem_prover/util/find_variables_in_terms.py,sha256=CEz_T0OqD3W9daoSt1D_mQl67TFekYTdPl0BoKdtnYo,556
tensor_theorem_prover-0.10.2.dist-info/METADATA,sha256=-TIaWLJUuEH1ioc5M9EbCR_pYBlOHYJLAE3DlD2BzYU,8800
tensor_theorem_prover-0.10.2.dist-info/WHEEL,sha256=vVCvjcmxuUltf8cYhJ0sJMRDLr1XsPuxEId8YDzbyCY,88
tensor_theorem_prover-0.10.2.dist-info/LICENSE,sha256=Ux853LGONRUrh06u_wM5MUTT0_GfiW6YqrloKJMlDxk,1069
tensor_theorem_prover-0.10.2.dist-info/RECORD,,
