logic_prover-0.1.5.dist-info/RECORD,,
logic_prover-0.1.5.dist-info/WHEEL,sha256=71S2sYlReVH4ZOkl4V4xdieE6E_h06pU53WlOciezrM,137
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/METADATA,sha256=hRS9VMeTnxB_ymDxJerNuUmBajuGICtNTI3q48dV5bg,24047
logic_prover-0.1.5.dist-info/licenses/LICENSE,sha256=pMVomIhZUzTdcn2WGghAsGB82NquKgfwqT1ZfL-viZY,13810
logic_prover/config.py,sha256=Ozprw9GrUq5sG9QFyLC-_kR5uWLGPERn5jZLUnDtT0w,2418
logic_prover/__init__.py,sha256=-YNxf1ENDH0O3hj33pGiJeQdpdsA_YtirZdQAj1MZVA,620
logic_prover/__main__.py,sha256=LeowD3ghHaXWm-ZsonqQJdSGc0yeIfPYOHyOV_XfrjM,17655
logic_prover/core/validator.py,sha256=BS01AtgpNhNz8Mg2wveKVZFBn4jF7S-09yRZoKP2Eqc,10810
logic_prover/core/ast.c,sha256=fZvAN3et-7s_Pl4WpfzdaIypOzWeUjsWF03GKPQ_Ezg,1202801
logic_prover/core/rewriter.py,sha256=eJXKorF_L8zjjPWtiibJM3YC4ZCYBCtEe56q_plqCrg,9257
logic_prover/core/visitors.c,sha256=ymwBxB3EAckHa7ffaefq4CxPizfds_eB2ng-KP7ZbdY,2150877
logic_prover/core/visitors.py,sha256=-ubvN6AcSRTZxEH3T5Ph-E5E1Y9fF0Is4vahmjPeckM,22684
logic_prover/core/database.py,sha256=qseAecoBN5_pO7h5KNt8iJlFcX3lYft7n8WZ3ZGPM90,24715
logic_prover/core/substitutions.c,sha256=NSzlTGUNibksJtxTMogR928qqxtXIdy00L72X36qhys,951553
logic_prover/core/ast.cpython-310-darwin.so,sha256=8CoBlZOikhAkEu5xT17vqVQAEEzfbNIa24TDkgwc_x4,301232
logic_prover/core/__init__.py,sha256=tOFh99NM_B4NGoH-YjTDlWiRlDyWAO8mANISQxWhgqk,78
logic_prover/core/substitutions.py,sha256=yeI6b033vfEbFo_dbgCPMA4I6NVEqfrZ-XCF3_3toEQ,12265
logic_prover/core/equality.py,sha256=IKwwKVEtRqAnaiGtODpBK0cTY-l0WIvAY7U6W7bRas0,10385
logic_prover/core/parser.py,sha256=QyIBOcVpvb3EY-jE_ZobL6HzX6u9yxWbOcj990q8R-4,21052
logic_prover/core/ast.py,sha256=i5gqTe0Mujnj6fzF-GqojOLVPZjUSvzzENCwZfFEokc,15973
logic_prover/core/exceptions.py,sha256=g8OPjFcTreC1jMsIc4AqKlgHCztJDRzcjENJIEjUYA4,2026
logic_prover/core/substitutions.cpython-310-darwin.so,sha256=ZKuEeMu8BKfMAUjdjIgIb-bqFoepN3_aceEE8Ak3z5k,227624
logic_prover/core/signature.py,sha256=TmTveKgbBlLxzNNgYpdw1udsVzIgbuyyKTc9-81HtoM,8192
logic_prover/core/visitors.cpython-310-darwin.so,sha256=O3baLpW4A88RR-EaBg8b66wV_K-pT5zr_-an77pM1XE,546960
logic_prover/core/sorts.py,sha256=dsMJP8YLssc0-mGU62uL9Ccn8xfDeYFAktLr7av0MI0,5310
logic_prover/kb/functions.py,sha256=cL8NJVA8NhvUIB_hGzXcAWvX6fMicwH2s4ljlv3UU00,3675
logic_prover/kb/relations.py,sha256=uxnBjXsUsziA7TUXrs6fgnhpUE-Dig6FkHl8LcHLgM0,2285
logic_prover/kb/__init__.py,sha256=ZDPPRT6a8zgiV5WaNq3Ayz0HUA8nk4NQ7SZNlCjURNc,2769
logic_prover/kb/orders.py,sha256=wu_GfLSGkqHJyz-Wx9xuj6SbivN9T8j0wJMuoJhsWcI,2959
logic_prover/kb/numbers.py,sha256=RF2Wlmvj8kDqglsBVykI1bLclabwRvRL8Bkyr1xMzo8,3224
logic_prover/kb/groups.py,sha256=_pNR1kNRb4gHL-e9Q3PWnBV98z4K4FRkMoY_5S9PV2A,2663
logic_prover/kb/logic.py,sha256=i_5wvvTq3uXMvhTpKlS83ntWuvoQ_b-XJPmjhQFiSZE,2368
logic_prover/kb/equality.py,sha256=1QU1Zq-Ob43919O_Sj3GjMEboORot3_2Hw7K9wJ2hp4,3026
logic_prover/kb/sets.py,sha256=yLaax5NwigOxwDr7xFudov3XiRx-Ksj682rylpmFFWU,4529
logic_prover/exporters/__init__.py,sha256=ESLasVuyrmr-gymc-pBEONCuWYhZa1ZxJSpnWAT-gEw,266
logic_prover/exporters/graph_exporter.py,sha256=hK5RftaqJMV57TKVd6diWRUIxSX-J_WGsmmiqyQOx0k,10267
logic_prover/exporters/lean_exporter.py,sha256=1-klBGkJszFGi9_zxG9AGnNBK3hxubxoDv2Vr5qw_uU,15670
logic_prover/sol/substitutions_ext.py,sha256=hrdq6cQ99AhFn42dxgLeN_jn7dW_wnHGwuAlU3yEQ3c,18227
logic_prover/sol/__init__.py,sha256=xAImp8f3HXzcuFvSmYL9dUgCA-zGyfYh5qXQTLtRAME,1587
logic_prover/sol/ast_ext.py,sha256=dKVCaVWNDsgR8y_26LNuWE3XcDcN8wTRWK71doxSYnY,7149
logic_prover/sol/kb_ext.py,sha256=ibGwYVrL1LBCVGSqKe8lTKsjSBDQAGs4m52rWfN7nlU,4954
logic_prover/explorer/heuristics.py,sha256=SLYoNfCCmC-cBcGv4A_CmfgFk1azlCjAJt8R8216M8Y,10716
logic_prover/explorer/__init__.py,sha256=P23HlfJZBdFIeFGbmadW7ua0NgtHjJ99VsiXDnzaZaA,767
logic_prover/explorer/generator.py,sha256=A7Y69JEkC1sGlc_dXGNXxLh4NeeJ1PLMALatz2ysBNE,18404
logic_prover/explorer/filter.py,sha256=wp755RarHxdA5Su6a8WiiyfX9CxYlYjgGrK9KLNueIE,3482
logic_prover/utils/logging.py,sha256=r-yws29BJz-iPAlY5ovkmas2YhoPTrcDiDyIClo6YYU,3894
logic_prover/utils/clean_pycache.py,sha256=nskOrfJxmI6Pnb1Eb8NmDL3DD_h5aBQL2TO1wLQUedw,1626
logic_prover/utils/__init__.py,sha256=nXeLjkbqAKMa7Et4nBsbaIOM-Ty_47_6D1Y1wVAxuvw,309
logic_prover/utils/doc_generator.py,sha256=Yy5SOlM3_0uoumFevjDqVW52WxhvA2i0igRFze4c03k,21974
logic_prover/prover/reconstruction.py,sha256=vs2Ut7J4iLHwAjxpgpjtjtMKSZW0Xff1U1HFcy5xNEs,5220
logic_prover/prover/rules.cpython-310-darwin.so,sha256=da_Kem00AMTxpliwZrDAn16qLhHm2ZhDEf8tgEt9h7k,204720
logic_prover/prover/clausifier.py,sha256=7BK3bkPLU8FEuqcZ6IsxxrxtrGf5flqY47O5OSakNWQ,17522
logic_prover/prover/rules.c,sha256=0_r_Fq4sccce4xJBw83h6QZ0JchWUgmxZ1en8zo8TL8,883269
logic_prover/prover/__init__.py,sha256=jraVKHsYJIUwjZ8H-B4bV151Ajh-9zRSArc_-yFyqO0,829
logic_prover/prover/rules.py,sha256=3uQ92ogzr_Km3XUJxZ3xOTte_HsajvfF5SoEz2dg5Qc,13134
logic_prover/prover/engine.c,sha256=LYgRNPVraEi4ntJ2EDUuJCnSnLQ_JYs6e8R2pfibYdM,922766
logic_prover/prover/engine.py,sha256=_uW3WJ8CS5UxkruWN6q0H5Ud4ETVB14nUENpolcuMEg,13236
logic_prover/prover/proof.py,sha256=EFHnfqh1A9_mzZK4L9zGcUuGDwTxmGXsf-mo9Lh-PqA,9508
logic_prover/prover/clausifier.cpython-310-darwin.so,sha256=iwKgqTUWTGK27CFFV8SRwwIsDpLmL-hxmdtjpMbFruo,309832
logic_prover/prover/clausifier.c,sha256=Vd7RxXwtRtjBSfZzRyIpx7mZGbJuiunpNqyhWzYkHXc,1192403
logic_prover/prover/engine.cpython-310-darwin.so,sha256=McAxgOSN8VUz1_ElFWQCbknQdQ8ANOHC8AmLitVeowk,226136
logic_prover/deducer/graph.py,sha256=zyXP1XvE_GWJOH7fapVnPEQexQ02eOQnCx95Zn96KzA,7556
logic_prover/deducer/analyzer.py,sha256=mC1S8Si1vvSo_OnF83QzpNba2J8J62dZG9vUzUFT_wg,7572
logic_prover/deducer/__init__.py,sha256=HAojz1HqCTlz2yeicyGE795cQiv27wqgmyVdpVP80EM,492
