tensor_theorem_prover-0.12.1a0.dist-info/METADATA,sha256=Lxh2shVhT-ghCxR2ZPaU2bFNBBeVd4SuJbZaYzBdTr4,9614
tensor_theorem_prover-0.12.1a0.dist-info/WHEEL,sha256=K5cZvHxewrtYLN59DRkSaWa4G7WwBJmc7OmYcEjisNE,96
tensor_theorem_prover-0.12.1a0.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/ProofContext.py,sha256=iJUiC3pNcsOFQfDYEomvG13Xu0_nhggLbleEuVm8hlg,3343
tensor_theorem_prover/prover/ProofStats.py,sha256=MHiPJ8y0ARJr2o7u291aFLIuSiPklWLT6qdmiinZUqw,1540
tensor_theorem_prover/prover/ProofStep.py,sha256=5_VnhawbruQV7Enkxd0A7BN_1JDdNCD4mogCO4ARDmk,2822
tensor_theorem_prover/prover/ResolutionProver.py,sha256=mVu29-5tuzi4fzJTt72Wte5PGfleHAlpKIijXWT56ds,4349
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=KlP7CiBkp7DcsxtbTZJidm3syEL9N_Spol86g-LVTds,3567
tensor_theorem_prover/__init__.py,sha256=Gewlh26dJPkY48YtwyG62y6S9MaHZFXcByHlguwbFXE,755
tensor_theorem_prover/_rust.cp38-win_amd64.pyd,sha256=e7H-BfVv3hAEzByv_Ao4z2SLKElFIHAHDwgQiUOHw5o,1687552
tensor_theorem_prover-0.12.1a0.dist-info/RECORD,,
