logic_prover/__init__.py,sha256=Xrc2fqljhwreB9j8n923cHd9SoChgkS0tp91W6uZg1o,645
logic_prover/__main__.py,sha256=-DIOybr1GvBzfMthl5Usq2Ia65rOtC3BXlodr_CKYu8,18080
logic_prover/config.py,sha256=ZtADu70aSKDi5L5QMWURJq-dcdDIP4Ee-xHJbRvBHUY,2488
logic_prover/core/__init__.py,sha256=gM-0VyM0uU9LGB23KSc5bF5JePJ3hjgJ8gvjwOtYRgA,79
logic_prover/core/ast.c,sha256=56TxQGW4RpgWE5RnlYXhURUI43wW7DWgvJdBXReQVzo,1229119
logic_prover/core/ast.cp310-win_amd64.pyd,sha256=f4me_b59uHWbX_Xych1FueNtOhjviFoSkB-gKTQWqFI,193024
logic_prover/core/ast.py,sha256=F6_ddZwePd6AQdWAtOlz0CfuQRFIkIWejSilOWnDPhU,16394
logic_prover/core/database.py,sha256=ED8Ty8X1-9aJrvZtzSatfozFDmxyY_cw0pKyPxiMtP4,25325
logic_prover/core/equality.py,sha256=ACHOcxJxocQcnvTkt2ueLvZMOpF3JE0wwOt6hbluCPE,10673
logic_prover/core/exceptions.py,sha256=BO9iF7yaLgsM4vl938NqJtA5rsrBxNOWBj8gNncQG14,2105
logic_prover/core/parser.py,sha256=9QLmdjax0yOlKuSnC_r_18G4gtsfQcHG57yvmILZ9SM,21585
logic_prover/core/rewriter.py,sha256=j3HF-OpO-fz9d9B-uObCF0C7WnFTMx8XP06rov_SFsY,9513
logic_prover/core/signature.py,sha256=Wct9lvqK43uB0n_9XpbYQF0BTPkuWl8I0SLS5NN4zcs,8399
logic_prover/core/sorts.py,sha256=wx6a_DjP6t7OnCvAOWK-msjkH9P5PTFT8-8F0q1C8nw,5464
logic_prover/core/substitutions.c,sha256=ihd6l1HreE2ILr9vYCTmPAw1kGARTssQmWwZI_mT464,973084
logic_prover/core/substitutions.cp310-win_amd64.pyd,sha256=KpntWu38JDTM3GVqKzEqdaI8WFItQZHYtTCbihx9sRk,147968
logic_prover/core/substitutions.py,sha256=Yh_6sQ5Pm9QnW8e5aiLCgYolSX4pw0T63Ijao8rlk6U,12621
logic_prover/core/validator.py,sha256=AhSduLG-2SFM_4SfOGk1jgkywcsvP785jrRdd_56lIM,11060
logic_prover/core/visitors.c,sha256=gVutubZTclFr7kZTcuEXD_tPznP5RfyMDqtwFL6s_Rw,2196636
logic_prover/core/visitors.cp310-win_amd64.pyd,sha256=tQxAMkfDvJ2vw9Meg-c4Z4TZ9z4LovyqWjD89dszz8k,320512
logic_prover/core/visitors.py,sha256=Dsk_N-KYvMBtkO2pqwpBjUioCPyM2zdDGPDrAQTja1o,23283
logic_prover/deducer/__init__.py,sha256=vXdXplDkYq5twjMIPM5Fa0K_rRew7YfVQNHzX9KDsZM,509
logic_prover/deducer/analyzer.py,sha256=rDQywxHTmBJ9uZaJFiMgkp-KdvHyk0oCtDQT6_eNAxA,7793
logic_prover/deducer/graph.py,sha256=e-xhdd51oaGrPYRxnGxCccX3VoeYWU9emGao_4btKtk,7736
logic_prover/explorer/__init__.py,sha256=YkU1kDOf7l_EVi8uT9H7sgwC-v6uEEtDVSZKSDW2vQ8,796
logic_prover/explorer/filter.py,sha256=vUgFgI04eXjqHB_K25sufSTes8dAldD57lBwvtn7FSQ,3573
logic_prover/explorer/generator.py,sha256=14hUMwrfP528hOmxf5Kpxa4EP1bha5aqN8PFofbWkg0,18856
logic_prover/explorer/heuristics.py,sha256=L-1-vnY0lSkrp30pburrTk94x0CRmdb8u-icCIjVjmA,11033
logic_prover/exporters/__init__.py,sha256=rRVatClBdNyvLf8ZZgHhqBNnjbHOysXMBR1Y6GeMhco,272
logic_prover/exporters/graph_exporter.py,sha256=qNr7lXMjZ55da1ZPVxCjC2_JIY5OB0LOtwNqfY5czDE,10565
logic_prover/exporters/lean_exporter.py,sha256=BfScGOD627jaCfeBhbmlGzrHdtoK9zdiVxYmq1-o3DE,16028
logic_prover/kb/__init__.py,sha256=45l9KEJnM_5ipPH-s4Rv-lpaaWEFd0LPLWjWToKnibI,2837
logic_prover/kb/equality.py,sha256=8Kj5QEIXRiLSinDoKxjLM-z_eZeWdQe2BngLoDD-pwQ,3116
logic_prover/kb/functions.py,sha256=PlWQVvhHor7WA38wO2P-Bz42CTXxpX7WSQtYbn3Osr8,3780
logic_prover/kb/groups.py,sha256=XEZrhwuWt5-hokElJ2R9IO3ZFs4E88nn6SQr-uQDa0M,2742
logic_prover/kb/logic.py,sha256=tfS020RP7qTAX7oxQ8R-VjWnnM3TUepIWPXcTrRQDis,2433
logic_prover/kb/numbers.py,sha256=-GOOAKd1xM7TV_WpRz8zj_NDW1r8lRFLghA2wXTEDZo,3300
logic_prover/kb/orders.py,sha256=Gq1rjuqrn2IUwo7hNZLi2JrXK_hTs-eN-onV8ZQ7nUE,3056
logic_prover/kb/relations.py,sha256=LXopbmwbIrfj54t7CfQDIE3xMDZInCBiWPMLCxNpOcg,2354
logic_prover/kb/sets.py,sha256=Qv01lKMkdKtPIaLsLixNdmeWIR0j7LnVTJ-LN_aGFRI,4657
logic_prover/prover/__init__.py,sha256=yDHADQ3wfy6tlybbBMEGnfIuQUQsBxIaC7DlEpZpWBk,856
logic_prover/prover/clausifier.c,sha256=K-XAjxcpH-77aB04XzSa3fB43iRx6sKAJkVTHnIRinE,1218507
logic_prover/prover/clausifier.cp310-win_amd64.pyd,sha256=y2O0ukgNDUkLf3N-vcaYzm5TDqFxOstdaKIi7Of0GlM,208384
logic_prover/prover/clausifier.py,sha256=lTeSB8ZSLy-H_9wo9Zqfq5alBRZvvfaDqiYHKISOgNs,17970
logic_prover/prover/engine.c,sha256=ZJb0sBgLY5C4_Wt0zv7R5k6wz3SiPOckGO5uFq-qQu8,943555
logic_prover/prover/engine.cp310-win_amd64.pyd,sha256=C6rhXHbnYyQiR9fhQUBkRL2cvSWrycUrJBw93Xjrt94,134144
logic_prover/prover/engine.py,sha256=ly6qVa4q0Xzr0CIe1n_hGU6WoCBam37uZhKjTedbXu4,13546
logic_prover/prover/proof.py,sha256=ZII3G8x0FD3mqVXXfQMyMS0_A0QrgmCA7h09T7OHVVQ,9767
logic_prover/prover/reconstruction.py,sha256=d0eupd1EMHpYiEw7SenmEnF-mybgVLly2sNsggDZtAw,5368
logic_prover/prover/rules.c,sha256=9UnxzxF8upD0Tkw5rxEEFZ0xQtFKdDS-zedkCbOpPUo,902581
logic_prover/prover/rules.cp310-win_amd64.pyd,sha256=tViqI6UN_yb5Shs74P6NEKMqiaGwshu8IdOZ-leW6Pw,133632
logic_prover/prover/rules.py,sha256=2zzItDsF_Cy78ZdPDR_9BuMFrXbmmXerLn_OOXocTjU,13433
logic_prover/sol/__init__.py,sha256=RpvcHxP3FWZ-GDjFbbmAC5878fHlrd5vFrMPBX_s_00,1635
logic_prover/sol/ast_ext.py,sha256=RKWTnR7J0H-5QWYT5oFly8Uyvof3NiiajrQMvoto59Y,7337
logic_prover/sol/kb_ext.py,sha256=7GmjXQXlEOG70tWXse2H_cwOSti7sHlflPhqeBxEPsE,5101
logic_prover/sol/substitutions_ext.py,sha256=tWd3zh5FOBgnH_-ofTdQ6ztmdn3iZBvBZQglrFWrD0o,18654
logic_prover/utils/__init__.py,sha256=NuYlpP4jP3ynsakBhywWqI_coSxu2JtZQcLb85GanOE,319
logic_prover/utils/clean_pycache.py,sha256=tcsPTWPi-gF5E8mU-9bSUIE2mt55a9Uo1DzmMsiJVDs,1674
logic_prover/utils/doc_generator.py,sha256=fNG8tYh3VgjBYtIscx59zFfSSZYHFnSGiCGxZMzxrqw,22564
logic_prover/utils/logging.py,sha256=elEpU6NGfq0WEdKin37CV1T5oWY-MgCW9YVb0MlJY44,4006
logic_prover-0.1.5.dist-info/licenses/LICENSE,sha256=nUoiMPIxXilqrn-6rbrbpYGeU96C55HWX7RW6sfLgME,13911
logic_prover-0.1.5.dist-info/METADATA,sha256=AmPa9_MRAk0ys_NMmovaIQaQlWDmsS_NH9dWsjMMmKs,24389
logic_prover-0.1.5.dist-info/WHEEL,sha256=ajJeDK_8EW1oVlCHPkvVUTwD79nmX1qcdcBLYGUFyLk,101
logic_prover-0.1.5.dist-info/entry_points.txt,sha256=Ss4rOby6J7pTE2-P5MC7UgBHttbspVElILgnJvyFMYs,137
logic_prover-0.1.5.dist-info/top_level.txt,sha256=Bih3Mqt6fiTJs9csqb1vtJINMikE0M7cDe0e73DvCuQ,13
logic_prover-0.1.5.dist-info/RECORD,,
