tensor_theorem_prover/__init__.py,sha256=CAPQCk_Ejb5vW_aucTKrkFo6OC5csEpTxKpDuP73HUI,548
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=XxQGM5ACbhOuIpV4jlf-n_tmc7zPcaW-OsACRESV4Hc,1314
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=kzpMqIvbFmRO06KO2ZsERinpt9WJnO_BpumP8pl0zZ8,2848
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=oT94aYegZXOsS-n4EBCE2kmqaRcqUYP_s5XKmTbWSnE,3751
tensor_theorem_prover/prover/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensor_theorem_prover/prover/operations/resolve.py,sha256=h4SGg5Lpsf_efhouk197dz-ZX4wvhOjA65ZCotIaUkM,6452
tensor_theorem_prover/prover/operations/unify.py,sha256=PkIdAlD3ZXZCkhXHkp--YMinMRR7hmpzM8Nv4dsOjx0,8603
tensor_theorem_prover/similarity.py,sha256=5QWOzUbOtonJs0vCYKx7-9uyohs7b0X6B38UBp8_7JY,1071
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/util/pick_from_set.py,sha256=shtkGTIAWrAJ3RuD6do93u4J7gR4N3fY3YbkCbOPoAk,158
tensor_theorem_prover-0.1.0.dist-info/LICENSE,sha256=Ux853LGONRUrh06u_wM5MUTT0_GfiW6YqrloKJMlDxk,1069
tensor_theorem_prover-0.1.0.dist-info/WHEEL,sha256=y3eDiaFVSNTPbgzfNn0nYn5tEn1cX6WrdetDlQM4xWw,83
tensor_theorem_prover-0.1.0.dist-info/METADATA,sha256=zTzzJUKVEiKLfITYvFlJIq1vYWwgCX2JaT2Y2pQ09mY,7730
tensor_theorem_prover-0.1.0.dist-info/RECORD,,
