tensor_theorem_prover/__init__.py,sha256=Sb2r8mYFeD69UL-zB6E4vi63itBeXRQ5GPwTG66d6qM,586
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=3uxFAoaOWtFey0ZBFoAqD3uCLAkTkORY8y4kYZQk8DE,3039
tensor_theorem_prover/prover/ProofStep.py,sha256=UHassa_nmhe_KbkGBMFB1YTML8QGRYTXvlyKhFcgJSg,1294
tensor_theorem_prover/prover/ResolutionProver.py,sha256=OHRvgotj1R1lQ4PbKCr6aMz4I-4lZCoKB1yOukUCp2E,4203
tensor_theorem_prover/prover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensor_theorem_prover/prover/operations/resolve.py,sha256=sPpuo5W3E9yTH23AQQKoc_L36r565G3VGN9O2sH9UXw,6381
tensor_theorem_prover/prover/operations/unify.py,sha256=PkIdAlD3ZXZCkhXHkp--YMinMRR7hmpzM8Nv4dsOjx0,8603
tensor_theorem_prover/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensor_theorem_prover/similarity.py,sha256=A3bDMD31-DqMNVSGXccvPpNLuKC7SEb6gH0GQqGH-Rw,2064
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.4.0.dist-info/LICENSE,sha256=Ux853LGONRUrh06u_wM5MUTT0_GfiW6YqrloKJMlDxk,1069
tensor_theorem_prover-0.4.0.dist-info/WHEEL,sha256=vxFmldFsRN_Hx10GDvsdv1wroKq8r5Lzvjp6GZ4OO8c,88
tensor_theorem_prover-0.4.0.dist-info/METADATA,sha256=aY2qcwH7mIr8lloVIcR3g6jDH_K1Dr-jpLkhnx5-h3o,8279
tensor_theorem_prover-0.4.0.dist-info/RECORD,,
