tensor_theorem_prover-0.14.0.dist-info/METADATA,sha256=6xbv6xVwQDGZvoba1YKBiSkjcMBTMQPfckOxIlMli80,10582
tensor_theorem_prover-0.14.0.dist-info/WHEEL,sha256=VNG1Jj03TpMf-xgIXiR2EsgyepRxsqqojyoWj_z977c,96
tensor_theorem_prover-0.14.0.dist-info/license_files/LICENSE,sha256=Bytb3ZfRumQCXDf4JoNvjtdkSIZf3mCnDXaNlHeCQig,1090
tensor_theorem_prover/normalize/find_unbound_var_names.py,sha256=q5xkDKJ586n9a6kAkgA-kGKdR7uUf1nSPlA8mJH7s0w,1867
tensor_theorem_prover/normalize/normalize_conjunctions.py,sha256=uhDPYJ2cjfAkJiKAgqFzKBsDIbmC7w7e36YiXUwa2xk,1293
tensor_theorem_prover/normalize/normalize_quantifiers.py,sha256=Gr_DkmTKDqR6zvICeegww-Ki1RtNYCsk9j3gfkPswh0,3475
tensor_theorem_prover/normalize/normalize_variables.py,sha256=ajMv9QUhJs87FXb2X8ORA9sIdE4nL-u5f8_C_imXAYg,3608
tensor_theorem_prover/normalize/Skolemizer.py,sha256=xYCcJ1HhwpE1AK-s1Kpb8WJcRi3DaKvlfXHgT-yM2bI,408
tensor_theorem_prover/normalize/to_cnf.py,sha256=QqSDqpJWoYs7nYthcjrvgp73PoTY8O3xBFx875hSuUw,3979
tensor_theorem_prover/normalize/to_nnf.py,sha256=tFbabzgsA6BAUoZ6hYcV5973MCsncPDFGINPGT_44jE,2321
tensor_theorem_prover/normalize/__init__.py,sha256=HlJ5WZkVykXaB3nEr9IUeqt2rTYm4m1sdQatvIq82N4,186
tensor_theorem_prover/prover/Proof.py,sha256=EMmSK-Sz8HuMNptrgfe8vyo3kryQj_ZLXN37ONAcVfo,1992
tensor_theorem_prover/prover/ProofStats.py,sha256=rVwVjjQK_Mz9HmGdkFrMlSK0t7q47MB7FvIealE_qPk,880
tensor_theorem_prover/prover/ProofStep.py,sha256=5_VnhawbruQV7Enkxd0A7BN_1JDdNCD4mogCO4ARDmk,2822
tensor_theorem_prover/prover/ResolutionProver.py,sha256=fLFIGXQdDL0d3JyAT2oj-6bwEesmuiqQkVEMGvAQ9Lk,4724
tensor_theorem_prover/prover/__init__.py,sha256=zEX7bTVjJI5eEw1gXXpMgCb29JYaQaMxXTuFAkLalW0,214
tensor_theorem_prover/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tensor_theorem_prover/similarity.py,sha256=HNHf2-6cllqOPU7mtUMJQYtZ5GnaxRA8yIN-ONJ1imE,1609
tensor_theorem_prover/types/Atom.py,sha256=VYiPRSk2ELKkzBVv02y2rT61aZyKWbk2TJ9npwxFqos,895
tensor_theorem_prover/types/connectives.py,sha256=NhGfJXYgGkhQ4cK2rBWkb3DeqxOBhHGR9cFtg3o4VdA,2922
tensor_theorem_prover/types/Constant.py,sha256=9_Ef94xX5v8Tu25BimXPrIjtAM5zYzzDhXE0LuzcRzo,765
tensor_theorem_prover/types/Function.py,sha256=amjKLO_-rpu6mQzUwrTFxkZEYTFaC36pVopYmWP-pt8,1784
tensor_theorem_prover/types/Predicate.py,sha256=1xXVUqnJrRxTJ1Yob95kK0WfxUFpcB_bxiLiEbjzOJ0,1387
tensor_theorem_prover/types/Term.py,sha256=v2sgf37dDBgfT5esIqqEY23Z4FDHX4HDlXJ5Lp3eOP0,762
tensor_theorem_prover/types/Variable.py,sha256=w3hjp-iMOOB8c9KgytSC3J52usiUFpg0YtetxffmH-k,478
tensor_theorem_prover/types/__init__.py,sha256=WcmlIQGHh64HfJyl-wwYC2YNn-z15f65pwjncfZTlDE,490
tensor_theorem_prover/_rust/__init__.pyi,sha256=5mobAGadkW5gejTfxyTTzQVRbtaf9RqZ1HPlFygiPtU,3483
tensor_theorem_prover/__init__.py,sha256=tAiomzn5mqfHfpAs99vfk7MLZkD4G9Q_dFnjYOhCsms,755
tensor_theorem_prover/_rust.cp38-win_amd64.pyd,sha256=pfu7alTLmohNUFqrmDVJu6NJAcxILQyaZ8hbYQnT5KA,1853952
tensor_theorem_prover-0.14.0.dist-info/RECORD,,
