unicode_logic_kit/__init__.py,sha256=qgvJclru_cS8sVOvYydO8oy8Zdeb6kw8xNosMg80TOY,18928
unicode_logic_kit/__main__.py,sha256=G8PfI6X1kYl8U3cy9jppcrJwiGznk4bqbvr99a_qWVI,20545
unicode_logic_kit/_deadline.py,sha256=PRQowL1vr5cElq5FyTDuidGSGkxbE8kB1R8rn767NL0,11269
unicode_logic_kit/api.py,sha256=RP5N0CZtXlhUvXtzIXRogvCNfYW0bhRZmdoZrGsmt1U,62532
unicode_logic_kit/comorphism.py,sha256=3M3VBvzTtC2tVM6qviyzE5KoTHlpE_yUurOfgNs36TE,24506
unicode_logic_kit/logic.py,sha256=c_rDv3Unc97QRL-Seh9cF3J3PPlL7kuHt5ntnd0kdmk,7500
unicode_logic_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_logic_kit/ace/__init__.py,sha256=zA5qn92bEqmefm0Yawf96y1tQ-_PcL8E3a-8CZFvpGQ,7004
unicode_logic_kit/ace/_align.py,sha256=pkyDt08tPmJBCf-ogYXcvvV_nugbDtf4AYN0dVVCIdc,5785
unicode_logic_kit/ace/chem_lexicon.py,sha256=kz2BJYer2lKReu-HVVpdkw27MRGl6j2iTSCumTsodnQ,5186
unicode_logic_kit/ace/drs_reader.py,sha256=36UvUNo0iNeylxniRZMTnJBSoox-ybtJ-vrQm3qw67w,19757
unicode_logic_kit/ace/mapping.py,sha256=AvZFpU8xhleoelIUyf9GSpLceqTR5VhdtKqQitee5-s,29483
unicode_logic_kit/ace/reverse_modal.py,sha256=sWEiY2CGeQajivvIIIHD7oigGQWyGYjaOM6yUblxjNQ,6668
unicode_logic_kit/ace/runner.py,sha256=SmjusPYbmQ5ZUQ1nENI5o6juHz2mXtsWL7DoNLqNb4A,24924
unicode_logic_kit/ace/translate.py,sha256=rgYC_c4CFQPZN4lpDppkQ9OqYFhIh2jgoE34Zkqamys,21887
unicode_logic_kit/ace/verbalize.py,sha256=93eX933Tb2CZ7CVV6moNEjsVlYIBbAgsb5dyF_FBmBs,46918
unicode_logic_kit/atp/__init__.py,sha256=7FTmLpSMFdeRUCQIJyCzJYn0XG7uPvVQzzRGDv-r2-M,7819
unicode_logic_kit/atp/_ascii_names.py,sha256=_8jgf8GhnMkyq1fYQ9cmD0-LCMLAT9MP87m-4bZAm-A,5677
unicode_logic_kit/atp/_html.py,sha256=Uq86TT5FzaDbE9G9PsKz7nIPXOC0x5JPm_xAenXDXPc,3745
unicode_logic_kit/atp/_substructural_input.py,sha256=mzHg75D5vkSkIQ_sdXcTdZXmAUn9BHmn5G78qWM_d6M,11544
unicode_logic_kit/atp/_tff_problem.py,sha256=eLDQ7ix3dPmpUFFNkNO41MBlsK2MPwU3ksoAN_ENhF8,38092
unicode_logic_kit/atp/_tptp_problem.py,sha256=w_-Qdh4LrNxbrKlM1zybFp-p1gHWqqAs2TEF0JJgLtk,65605
unicode_logic_kit/atp/_writer_support.py,sha256=vkRMshLQ-Mfnqeqo8dhgv7i4tU73MPZxrhaXxoENoE0,14763
unicode_logic_kit/atp/clingo_backend.py,sha256=E5ESNehswT2QG2njsXwwmmiuaI5XK-zlSEoA1BcIq0w,63223
unicode_logic_kit/atp/cvc5_backend.py,sha256=G-tHkTEC-eQ0LY8eGWCYGH231ETdY49mnJLOixhotBc,77991
unicode_logic_kit/atp/eprover_backend.py,sha256=p6TAE9C6NrFPcxBhOWGixP2mEo8XiiReXalypVjR5MU,39647
unicode_logic_kit/atp/finite_domain.py,sha256=bn4gxYEBrlHtu487AZ6BMmlmgTvkSAUhCtTxR4cGvHo,56534
unicode_logic_kit/atp/fitch.py,sha256=1ne8sgTut5T12WdvYuJh6FPqoWdcDddhAQky0N0APjw,69220
unicode_logic_kit/atp/fitch_search.py,sha256=T7Me1r-Et4Jpr_VeBZkKQmkD7NBsXdTcUUP4ncyj1kc,23723
unicode_logic_kit/atp/hets_backend.py,sha256=KJZEUPh0fad09NxOKQlrnpStjoTsphc2l4hDaVQGu2g,18038
unicode_logic_kit/atp/hybrid_down.py,sha256=8HhP2AohtVWKIv-pGAQvObYgKdIgofnK5ofvwK3rFXM,6459
unicode_logic_kit/atp/incremental.py,sha256=JHPLwMi2oy0Ks90LgvEsx9JdYpgK8dpY2-sHQuEIfLY,12725
unicode_logic_kit/atp/kripke_enum.py,sha256=Qw8lPlge0T_qJoipne-8TUqkFgCCX_XBIZQH9TQGz_I,38030
unicode_logic_kit/atp/lambek.py,sha256=p_ieWAU8vLiCflDeB06gCfaZk36lgv6H15m1AEvd9KE,19744
unicode_logic_kit/atp/leo3_backend.py,sha256=vWhKkeP7NHYJrp_EKVk4ufXPg0vZwtK1Govv9YvEUMo,17155
unicode_logic_kit/atp/linear.py,sha256=L1e5fEzuTgR-v6xtlNtMUm_O25ZVlz2GvkGEgbDuAGc,31777
unicode_logic_kit/atp/lj.py,sha256=j4BWOaavci85KURATcxoi_kKS9r9d3oNUSKIhxspiGo,34842
unicode_logic_kit/atp/logic_backends.py,sha256=yELsw29DdF1IVnELfJd8Vp1X4J596UKThh7VRrt2KCg,31196
unicode_logic_kit/atp/ltl_tableau.py,sha256=QYP2M4IidhCSxFjqxEi-iu1mQMl0ERu-nBDN4eyZc3c,51421
unicode_logic_kit/atp/minizinc_backend.py,sha256=ZWOVKOn03l7phlnNkBw6su5PKqWheWfn2Wcsxg7oZ2Y,71664
unicode_logic_kit/atp/modal_tableau.py,sha256=9Tj0rNAKCkLb6h9s9Ew3F1dEE6xtWa_WDNjUvQwwMl0,69781
unicode_logic_kit/atp/nanocop_backend.py,sha256=iBpDbOS69y8SQL2fxtaxUAqsN_1r8Y9zZ-N49QTaHVY,19452
unicode_logic_kit/atp/portfolio.py,sha256=oiIrsEBAe7cQ3cEObABkMCXsMZTamVeXRi2vicdMKTY,25572
unicode_logic_kit/atp/protocol.py,sha256=mJAdX6Y7aeWZwSGI3-8NQpWAVKgyiUihVL5aWgSD8wk,91227
unicode_logic_kit/atp/prover9_entailment.py,sha256=wg0oyx1E9FS1hDajiqS5TCEBZaA42__tLhYs-TEQGUw,64600
unicode_logic_kit/atp/resolution.py,sha256=MkTebvPSGzuVAW4RixXrHFC42JnDHNwheePfeXdmWhs,69723
unicode_logic_kit/atp/resolution_check.py,sha256=CRts2S9Yg1fQNaQ2c36UnWhx5ucpxzExXdHTW-MIR9c,53517
unicode_logic_kit/atp/sequent.py,sha256=xlgk-2aqYucW39gPMY5Ikl-0iDtZeX75lye-makLATs,46143
unicode_logic_kit/atp/tableau.py,sha256=2xpZ0j0X2pNB1yEjIcef1y9ggMh3bqx-TdbqaOr6wz0,44288
unicode_logic_kit/atp/tableau_check.py,sha256=6O13Cdcpfzk436TwHNSfxCcCsBx2enOVYRGf6HrFrpA,28888
unicode_logic_kit/atp/tptp_ncl.py,sha256=pC4hw1d89MUs_MXqjTDwY865RFbd3Grke8LLaL7JdMY,47160
unicode_logic_kit/atp/tptp_tff.py,sha256=35M5lJhY17WqqUYBvZRwQi8uJdwwbMo7YYpAWw_mcC4,81112
unicode_logic_kit/atp/tstp.py,sha256=15sSr3tYkSg1rrMbW03puOyLdgwnrmtCYPrKTHJiNXQ,68290
unicode_logic_kit/atp/tstp_check.py,sha256=S1clfq2BEBLpz_Qd1A7p6e7ZvTfbSQMKzUgDFctas84,56123
unicode_logic_kit/atp/twee_backend.py,sha256=puqv17wQ13lg7evYIehiqqpo7mhHIZPMkhBiPtxdgr0,12113
unicode_logic_kit/atp/twee_check.py,sha256=YTH679uICU_A5sCNGjlW3rKzC5l9DAQUFPzXJfjbXgY,36921
unicode_logic_kit/atp/twee_entailment.py,sha256=e_Sw5LOX6ZEjPVdhLpY8Z2bTxgyMf_xkgIae9juqVlk,44540
unicode_logic_kit/atp/vampire_entailment.py,sha256=0Pe71sRWrS5MuJlSndURJZndfhwPEOpR0VA-MRbEg4o,29731
unicode_logic_kit/atp/z3_arith.py,sha256=WLurnSmZFAc8FhqIf4Ewghw6DIrqb4lo9nnpl3Iy9KA,22976
unicode_logic_kit/atp/z3_equivalence.py,sha256=rQGHKyoMnOOZ8O19LKMbuxk2rfxK-kGOMf-WIzw79OM,1449
unicode_logic_kit/atp/z3_fuzzy.py,sha256=3JDJx37bQEtydXY8-cljvXuYWpmNBTRbJtdVdm9yc9U,15828
unicode_logic_kit/atp/z3_input.py,sha256=05z8ySi-2KoCqtrswklePKtZG5L_n4fO99leDa4S4fM,25771
unicode_logic_kit/atp/z3_models.py,sha256=3O3QUwxA5y2Mzdgol2S6U0x0UmhPmH-8pTq1fAepoB8,11027
unicode_logic_kit/chem/__init__.py,sha256=qYGXYkNePe2fj_YnEGFqwM0GATX-lDKVkHJxWWClo1M,4418
unicode_logic_kit/chem/_naming.py,sha256=6Rc_P5sdReGpI3y9ScZETtL-XLoX5XstV0jeAQyHk6M,13423
unicode_logic_kit/chem/cache.py,sha256=VaYdeyL7PaF1RTEju7EkXT34H8nJIuhTRRV0WyNqPtM,8362
unicode_logic_kit/chem/interop.py,sha256=ExwvOfrts7McIq6wCKJ9lSsUb51Q7zLoqs4IEXBG9uo,11780
unicode_logic_kit/chem/mol.py,sha256=mU2irfDeAQjDsacptBX4D5seybJg-I1ln0H_4u9L00E,28339
unicode_logic_kit/chem/signature.py,sha256=ybXgvzArUww5XZ_QYRMNMoNfUp50amaC7mAV-rWI8qE,5443
unicode_logic_kit/dl/__init__.py,sha256=8dwA1ngSp4ZM3xplmuzTsNrMzH6g0pxG5U_oGIVMz58,22258
unicode_logic_kit/dl/classification.py,sha256=XIyB-aypWyWk_2I__P8CLz9ogWyMxU8hFqTaeLwSJ9o,11034
unicode_logic_kit/dl/concepts.py,sha256=jmDfsB-EMt5WS4d-7uA7B-sFB1wG6TNIfQHbbcaQLz0,29322
unicode_logic_kit/dl/datatypes.py,sha256=kPckT4gHBsaa6kj97FZS0WQiI9epGX_SH3pQVH8u6c4,38763
unicode_logic_kit/dl/owl_functional.py,sha256=6cGcwCgx7Irwf1lS3-5zR2bYmxDhM1zOgBXi29jZnKE,121182
unicode_logic_kit/dl/owl_manchester.py,sha256=PddEUF-3sZOGCDHVJZzfsUzl61iHme2swyzljIC5g1g,82456
unicode_logic_kit/dl/owl_reasoner.py,sha256=5F20nlNpDPItC33jK1jOUE_jn9YZw3MDSq6oKAHM29g,41994
unicode_logic_kit/dl/parser.py,sha256=f9hHbXB6CYkmfp6qAlVxmkTU1NmvGPbKVAajWRWoBbY,18887
unicode_logic_kit/dl/tableau.py,sha256=syNLUwkH2X2z_9618tdg_O7VIkOXHxWogWGf0BAUlLg,221685
unicode_logic_kit/dl/translate.py,sha256=SQ2eN1LhM1L15eDuaA7oBugZczqS_qV0nzjjAQp_xY4,150096
unicode_logic_kit/drt/__init__.py,sha256=S83lvaEfq7-6Yb7fn8jm3PbQul5tcraK7GTk1ByCSO4,5349
unicode_logic_kit/drt/export.py,sha256=kNU58SOYRhNk25FLl4g528EZqbndb4EfjWUZj0BX1Wc,8979
unicode_logic_kit/drt/nodes.py,sha256=m9MEmHUf6jXbG1sZESenwFcf1qYbzRIfxnxpkIBu1PM,25518
unicode_logic_kit/drt/parser.py,sha256=anHnh-lRqKH6d-13Z2C6Sdt9u9q2yWNDAxDpEvezpLU,48914
unicode_logic_kit/drt/resolve.py,sha256=IYPib3usHXuY3Nq7KVo5zV1HUKV0P7luGao_S1U8YLs,9582
unicode_logic_kit/drt/reverse.py,sha256=EaL3DoBrbnnlSJnsewB1FGpa27Ip2uT5l2LQi-npsZA,7361
unicode_logic_kit/eval/__init__.py,sha256=27W2Umdu7fTOegAriWV5ZzdVlBRXy5jkRzBuVt0tMAk,5473
unicode_logic_kit/eval/batch.py,sha256=Dzj7Eg_rH9JxxisElw4FHPqxSgW8OLCZErkc0FQWXIs,18496
unicode_logic_kit/eval/canonical.py,sha256=7nwOQCceF_pHPd14-XYub33CCkjz7Iinuk_Y_kTfETY,33312
unicode_logic_kit/eval/chem_batch.py,sha256=c8ZpZnpkGQ8adkxqZ28EV8aWeBdsvozVPlKdkhe29vs,27487
unicode_logic_kit/eval/converses.py,sha256=_JHQMkkWR58NzjUBDO9Y2EkuHapkyDjs2R5Jf_L56uk,9942
unicode_logic_kit/eval/equivalence.py,sha256=NYI44YCk92YTqBnhSZGfu86gT_Zs7IPr4xpgROGi8ZA,24399
unicode_logic_kit/eval/exercise_gen.py,sha256=seMchMAfzBfkn6LpeJ4amwFmNPqiQYkUsBlRdli6Dig,26600
unicode_logic_kit/eval/explain.py,sha256=Id5vORCinuPARBUgeH8tbaKR0w56Fq9gnWcWRCxCzok,35302
unicode_logic_kit/eval/generality.py,sha256=cvkO1waQx-BndXB6Cvfd6_UUVIWYQuG6q2zaeAebaDQ,37708
unicode_logic_kit/eval/metric_hf.py,sha256=4IMA3d1its4mO-nG7yjuE2x3xXVoiuv_--WMIAG6KYE,23307
unicode_logic_kit/eval/predicate_match.py,sha256=0qjbnVXYU9lifHibw4578nl_eduw3ylmjTBcYnPTBpE,15245
unicode_logic_kit/eval/theory_check.py,sha256=2iJXy8iv0XtyZFg9hQ4iYd8u4xyTGHwTLiVhd8uH-Xs,59594
unicode_logic_kit/eval/validate.py,sha256=EPG54L_MKG2N8A2sIAZNmR-EHxgl9Vq1Ot2GsjouIGc,12239
unicode_logic_kit/eval/datasets/__init__.py,sha256=PpQAoiYC1xVoLpzdUjlTqF5VbWyzcHDgP26PByrcFPE,7707
unicode_logic_kit/eval/datasets/_base.py,sha256=AY0QHQ_uUi1KM89kqletFW3VYUXNHRdprKzX_30nqnk,12293
unicode_logic_kit/eval/datasets/_proofwriter_proof.py,sha256=SchS7YV721Y3qyXydr69ycsldTQPSzTF9Ue3Mbx2uXc,18893
unicode_logic_kit/eval/datasets/c3po.py,sha256=cWtsThlITl2ZROEuNoNAH9eDrmlSjrpoUy8EVwuu-5I,34157
unicode_logic_kit/eval/datasets/folio.py,sha256=tN2mkEtjemv-wCK6DnZlAVnzHngHtautNv123LKhaHY,7257
unicode_logic_kit/eval/datasets/fracas.py,sha256=gFy5WSiV9tOsVQqFoWQCToPIlxG6je0Ob2ZOFMXb_-E,19374
unicode_logic_kit/eval/datasets/groves.py,sha256=o5MtBg1mPiKD0EKZ_ZQDAg6gLiMHQotNBkOCximXgdo,9846
unicode_logic_kit/eval/datasets/logicbench.py,sha256=KdJgRxy0teUFA8BsQaS2AmaAF7dSUblO_C6q6fAdOtI,24418
unicode_logic_kit/eval/datasets/logicnli.py,sha256=1zovxfIKzeIgl1SrjTk993zBRZ_rFuxh0X6uAoS7h7s,16480
unicode_logic_kit/eval/datasets/malls.py,sha256=zWYxrq3uJrr8fJk0fd6ys6Lyhq0dWBSiDtzoGBnYQ-U,5919
unicode_logic_kit/eval/datasets/pfolio.py,sha256=yG9Hf0j2qr2PaJOmP6USsiTOCZJuc3-LZPhF2PzO28c,29954
unicode_logic_kit/eval/datasets/pmb.py,sha256=eqbMh4mbsETC-9sKXMa0wHDY-bPbwMePeXglgXeD37s,13613
unicode_logic_kit/eval/datasets/prontoqa.py,sha256=_tZfmOSkMuQLru1lUtuH6Zi1c9DkkQj20XtFQGsB-Xo,31034
unicode_logic_kit/eval/datasets/proofwriter.py,sha256=1DjDMONfe7P3AwGMupJJeKROrX-We-R8Tlhx9VKlbZg,72790
unicode_logic_kit/eval/datasets/proverqa.py,sha256=Bx40ms5I-X5coTCbUYLyHo37V7PzlrYue0JdJn9eQcw,32576
unicode_logic_kit/eval/datasets/willow.py,sha256=5PdPJxcISK28Ym1eGrdtlLNfDZCvGTH1nyfQmzjsyjU,22413
unicode_logic_kit/fol/__init__.py,sha256=nI-2xeKEIX8qF-fgUm0NxJSa4um4W8I17FiDbImPNZ4,7481
unicode_logic_kit/fol/_atom_keys.py,sha256=BhZ2v1IFdssZNMaAc1jG08D75TZjsUg5tLRh1nnETFc,26501
unicode_logic_kit/fol/_fol_nodes.py,sha256=4h0wIsqfDM5qiyPRubIopio7OqCMfnWjTIEN91l7jV8,172640
unicode_logic_kit/fol/_free_parameters.py,sha256=CHbQfZc1N9Z3Y-3s_t5ALKPrQgyl6eHwe_6r5LKK1xc,5402
unicode_logic_kit/fol/_ho_nodes.py,sha256=7fqlcUNTGtUh_yb-Rwle-JckNW_AJV4tUA_-ZUa-Yn4,20505
unicode_logic_kit/fol/_hybrid_nodes.py,sha256=H0pVTDUjnMT2Xzf809AEfXq-tTCxuLZ6ER3sdrW1Pac,14807
unicode_logic_kit/fol/_identifiers.py,sha256=eause6h1wVaBTSwip1Ca-dL4cuzWqoce-RLCMTvdlVA,58816
unicode_logic_kit/fol/_lambek_nodes.py,sha256=tJmD1ii4umIslEGdqBKjihHCoqgySNNuhSM5rs5YH5c,4817
unicode_logic_kit/fol/_linear_nodes.py,sha256=KlxnL0ty-2DEF7i6drFrnnORdGHtf1bUTDl1j6R2SK0,15614
unicode_logic_kit/fol/_modal_nodes.py,sha256=ZSZau53kAtkxzQxyb4gixbYPsxC4EXX594Yd56yfB_Q,67445
unicode_logic_kit/fol/_msfl_nodes.py,sha256=xAlcjHtSPXDTzPeaQ7Yl_Tvzpo3N88iJCw7cnui53JQ,102267
unicode_logic_kit/fol/_numeral_symbols.py,sha256=BMSDewzpDE6bEzK2xX1gToJ2iCKzBPGbbo6tBlcJsEY,12231
unicode_logic_kit/fol/_so_nodes.py,sha256=AW_BEiORV2D1nS0vSC_SlV2cuYLQnJCM1S37z9o2_yE,8423
unicode_logic_kit/fol/_symbol_names.py,sha256=T51VkTlLo70aa7q4tChFqu2k5aMGy2I780-dk2oGRQQ,3965
unicode_logic_kit/fol/_team_nodes.py,sha256=0YjsZf-FKMbZ4iIRtN9zQQSjV5uatJZd8Ck36E_kizc,7945
unicode_logic_kit/fol/_tptp_symbols.py,sha256=Qzr0nQFhdlp2Ybf6bjnxdjgM2g-ICrxGScvUgSGGQqM,28413
unicode_logic_kit/fol/_truth_constants.py,sha256=TB-wxGNZlNEoLw0nS3qLSd1lANT_Fi2eaZDsMV2uXfE,5175
unicode_logic_kit/fol/casl_export.py,sha256=17Otpt-gkARt7S-Wu-W2PzzOmoW94MHHhK57mdLrEOs,58577
unicode_logic_kit/fol/casl_import.py,sha256=oJZ802sU4ecsJ0PYAlT4XKcjhwXO7WTOXjMXJrceBZ0,43223
unicode_logic_kit/fol/derivation.py,sha256=KGNE7WYWkbwKCAbX9bBEE6xYj7-03bSihR0I7kFKNZg,16564
unicode_logic_kit/fol/dialect_detect.py,sha256=Eok4pg8JXoBCcXUutKEb00zuEs-fFyYgdxNWvzAtEEs,3342
unicode_logic_kit/fol/dialect_repair.py,sha256=2yBs8HexpEMR-VIBeagl703a7E2Df1mW5TEZ9AFZRlk,26533
unicode_logic_kit/fol/frames.py,sha256=XHtcwQ4J8g-q-9ZtNNX5pXfervMvQrmvQZY81KiRLps,29562
unicode_logic_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_logic_kit/fol/latex_input.py,sha256=wSnNB18HUPBFSXWM8C7BqY9_vkL9XC17GWxWPAknK6I,20680
unicode_logic_kit/fol/modal_translation.py,sha256=9BbJ2U13qFin4zfPd0QMB0nsb7_FMJauyDtg00BwsFc,51140
unicode_logic_kit/fol/msflparser.py,sha256=fTHBokB2KLkhcNzVQtMnYPOlOyzDOannfVtoFTYhmhs,55889
unicode_logic_kit/fol/naming.py,sha256=puOClGgMxVV7RbeChaVrRTDxroSCTavNaTGtuv7AE2s,18630
unicode_logic_kit/fol/nodes.py,sha256=gGL7Ecrs7XQw2v-g9osdZEGiIeSClboXPzQ53DSTk70,11799
unicode_logic_kit/fol/normalforms.py,sha256=dCVoJ52Okehf_L90pL8N4Ig4I7KtDwkXKOo30G1lpK4,20795
unicode_logic_kit/fol/pal.py,sha256=cYJU35_O0aPPZfndrDMQCN_5vyqEEPuUDr-XXr_6_YY,16368
unicode_logic_kit/fol/prolog_export.py,sha256=VnQg6m21J-w40olWsL-pmXqx0bNB4j_ddUJDv_y558M,29746
unicode_logic_kit/fol/prolog_input.py,sha256=dYi9b5pDVcGDsLclQpU63lAPZ-dh2XU_qrcWhvFrt6c,20973
unicode_logic_kit/fol/prover9_input.py,sha256=8HpC26QMd-vZkeWyiLp4-QSCeFL2PBqCJZt6NoDotSo,64516
unicode_logic_kit/fol/qml.py,sha256=z0iZ9K4O_KsZvoLjuZqHMEP-yDiJRJjgM6JYD6_aoZo,100234
unicode_logic_kit/fol/qmltp_input.py,sha256=Y2KoYAyp-_ITMW_NlMoghNhtRey60Ai3GNOjjzFPFIw,23983
unicode_logic_kit/fol/sanitize.py,sha256=4SUw3mnzfr3Wpvhje2Ql-AwLZxdtG_V2lVPq9B6uqng,9949
unicode_logic_kit/fol/serialize.py,sha256=7veR63rFsTnIjJ_o8l6hjyafw3uv8yIz5FEvWp8KuvU,3234
unicode_logic_kit/fol/signature.py,sha256=EIf1Pc9nDk4hzmDYMJgVW9cQs9XXF54IXdB3LCRDuHY,64681
unicode_logic_kit/fol/simplify_check.py,sha256=3DuCzyf9ExCjOafKpc3yeo0iKNFp2NUILa7hFKmtUog,26335
unicode_logic_kit/fol/spans.py,sha256=tvmFGeG2lQF5zbbgUNXi_FPT0GxsgSlenWr7f0cOkX8,28465
unicode_logic_kit/fol/tptp_input.py,sha256=-uscCkIdd3wUzUW41rm6bgT_6ffi1T6WjQgbq9WQxNQ,67973
unicode_logic_kit/fol/tptp_repair.py,sha256=QUDBO3-cdz26OXQuralBc0CNofPy2CobpBUPgHFII_U,45821
unicode_logic_kit/fol/unification.py,sha256=oc2VPug3ww6spsSr6vhUs-pSO1hDJLFliEspHJ0TmvA,6457
unicode_logic_kit/fol/verbalize.py,sha256=thMpxScC685MxGenyjxCirQ82IfCU9XLV_JbhTNaN8I,11574
unicode_logic_kit/fol/grammars/terminals.lark,sha256=sKhC3_gx9rlTGJUMk3LO_ku386uR1BtYu_M4OH82FBE,1607
unicode_logic_kit/hets/__init__.py,sha256=aVYKlJnB4GWw6z0D8zyeu6Sc9Kx4PC1jEyIkP5yIlNE,8444
unicode_logic_kit/hets/bridge.py,sha256=3iaq_cYfbs-97WR0UX8IAXrGUlNsNfRYZRvuSYZFbHI,7040
unicode_logic_kit/hets/client.py,sha256=OOpLVpuENqz8PryU8Ecq2EEvPGq5B7k3D6t-rGOGfxI,36880
unicode_logic_kit/hets/docker.py,sha256=ThMLUamoKZEVpFX-n-cno8Oz3j4FDWS6PtvxF5DoRY0,20447
unicode_logic_kit/hets/dol.py,sha256=IeEgyAt06zPRZtQrtLAWXhr2vYlGuVuGum4zpj8WI1g,39800
unicode_logic_kit/hets/haskell_json.py,sha256=FZ5X22bqSGj-NiT1XMninyGKr6Kudw1-ROv6QfX8hMc,15782
unicode_logic_kit/hets/owl_backend.py,sha256=JE0U8raomXMBmon_DHmLoKF2yVRgQuZeabpMnTBOva0,44606
unicode_logic_kit/hets/owl_cli.py,sha256=y1ViRvu7iCiS_XdUoZZMIwAmTlbeTGhYbHzjRXsmspA,27657
unicode_logic_kit/hets/symbols.py,sha256=zaaOLHXppMX_5Rqb4xJVqqhPKCGgbJfhxLs90UbpVBg,22286
unicode_logic_kit/hol/__init__.py,sha256=_Bm_DmQq3Y2Ig6Fu61PsyokYzEfk-NzEbjtCqha-pe0,8163
unicode_logic_kit/hol/_ho_common.py,sha256=mPTgzVdRYHj6zgN9TBHGNO6l_s3ZCubiAzx7_hKWyH0,15199
unicode_logic_kit/hol/_isabelle_binders.py,sha256=5kiWr4r2AcDHJLGRIltEe-ykC_Oqzx2qiO2QmBzi8VA,5939
unicode_logic_kit/hol/classical.py,sha256=UmUXCT5lJsCStE1U161Uqe7_17AujGkKN6kGO7_PAGc,43704
unicode_logic_kit/hol/free.py,sha256=UmtTqUSd8EShIM4xcOI66ZXbaaBtXc0Q4BdOqqNW2t0,37400
unicode_logic_kit/hol/goedel.py,sha256=FTZbPmVADoz9EZf6gXOroXxBPG9CR26PhCSUz0T7lTk,15260
unicode_logic_kit/hol/ho_modal.py,sha256=zfjdLSTuDZ5nQWpxdpkFQ5uDIkHQzrv-8RYod7QMxLY,93235
unicode_logic_kit/hol/intuitionistic.py,sha256=fqzIRXvZfhAQJ_x8yi4GX4lcovMvs0W1EuJLHVQ-KjE,22817
unicode_logic_kit/hol/isabelle_conditional.py,sha256=5jtselN3QlF4X5NlOLx5Iwi1YmtPqwDibj-NZc14U_w,32347
unicode_logic_kit/hol/isabelle_modal.py,sha256=n_b5jorHplrNwU3ymoKNrbOtnKVetxvaYHmHHy0xnSE,99696
unicode_logic_kit/hol/isabelle_relevant.py,sha256=Lf3AK2BgMNPzStQ6RPRBl4UYrQmP4j8YXmR1pNnCz5Q,23014
unicode_logic_kit/hol/isabelle_runner.py,sha256=ih0KA22NsijxP99y2EOHR8ZEys9f0n30LZ9jl3EKDy4,54398
unicode_logic_kit/hol/isabelle_substructural.py,sha256=7eE7luF0O1RQ-3EN4zDPpF-ZBUtiIw0NwI7exRm574s,44127
unicode_logic_kit/hol/lean.py,sha256=4zf5l9WnpT4h0XhQZda8UJlR-in7ly9ktLW19pS3G2w,49100
unicode_logic_kit/hol/manyvalued.py,sha256=d3g6cab3xOF5Tesu6Z61mmsJZp64lmq-LkZKN9AG4WM,43921
unicode_logic_kit/hol/secondorder.py,sha256=tkLW7grepjbtOXvt8ZUiS7qvIPOYmGGlNfERZXPvrdM,35896
unicode_logic_kit/hol/thf_modal.py,sha256=lqzYZviM765TfSCSvyMz2516EL5Bo7SZcCwJP0X5iko,54753
unicode_logic_kit/hol/thirdorder.py,sha256=ODl7L6bjOFWJ5ZtgfshAnAGLy4ZsFYynoBLdRPNR54A,19550
unicode_logic_kit/hol/deepshallow/__init__.py,sha256=fNT1ktaYxcqHe9xrE176dXR_4ULQ9OZ-sr-MeSgutGk,2306
unicode_logic_kit/hol/deepshallow/_common.py,sha256=2EaNEi9hAVvePSMqScGUYnb1o4fv6DjabYjdtqS7uWI,8754
unicode_logic_kit/hol/deepshallow/conditional.py,sha256=jS-G5eqXxa121dCtoV5V4ETNuLC_7n9sbB2ydoKZtvk,12599
unicode_logic_kit/hol/deepshallow/intuitionistic.py,sha256=RHRyK1cYv5T0cNoHWhM_y20kBeY_FTCwk9STsuK5-O4,9898
unicode_logic_kit/hol/deepshallow/modal.py,sha256=QQ1v6SVMUdjlJ9ivjghl7wviH41QoOYhDZGD9hc5W4k,11118
unicode_logic_kit/hol/deepshallow/qml.py,sha256=_fZ20HESlJUvQNmEjtYLFuuvm322DXkw_g504XGp2Q0,22376
unicode_logic_kit/hol/deepshallow/relevant.py,sha256=mXOOm90piQPUstjDAT4-DB9D4AH6wleNoRrx6Fzdlr0,11452
unicode_logic_kit/ilp/__init__.py,sha256=kQNKOQ5lmgD15QHcqssFAUO1paLOzJqpOdbKdASMspc,4432
unicode_logic_kit/ilp/readback.py,sha256=XbySOwmLAqSJX7TwW5mpqjSPN83J1zZVTqTYBIWvF7Q,18707
unicode_logic_kit/ilp/separation.py,sha256=A02H6iiualIsBsPnybW4u-q1IK1cngd5_DQAmYP09KQ,7110
unicode_logic_kit/ilp/task.py,sha256=XfjW3YC2COigHhTZB3LiunfmNm4-Y3Gp8ZxlFhKwClE,35059
unicode_logic_kit/mcp/__init__.py,sha256=QyY6F5SQYVzzguxg0__o6RMfCMDdbluQERBuAGyJx3Q,1440
unicode_logic_kit/mcp/__main__.py,sha256=22YRCHKoC1zV5OV4VxjiPQgWIRtO-CNGvIYgxws5-8E,109
unicode_logic_kit/mcp/chem_tools.py,sha256=sNLBNUXjJPc9ihkYRiGSaYBnJNDwRuic7R10Ew7imdw,53986
unicode_logic_kit/mcp/server.py,sha256=nB9f1WSUO_9cQ9Gq85pVECHsyBSuxI-T70GeKGIgOEA,116192
unicode_logic_kit/mcp/syntax_spec.py,sha256=2WLAsm2LXiZWcDkxGbH-92n4qtBHrco2Bq8VT3hiRdc,38685
unicode_logic_kit/prob/__init__.py,sha256=x-yo8MdHfQTVH5smabplu3-47uONYVs7j5ahHR3Bm4k,3070
unicode_logic_kit/prob/_bdd.py,sha256=G1Tt2Q7efuDRSltmgjWTPZkVPZrH2v_ow3Hjt1ofeag,10517
unicode_logic_kit/prob/_column_gen.py,sha256=L_dDcJMy7ge8wgXfUt8QNopaCQ24axfqOkvh5xoI9Hk,36252
unicode_logic_kit/prob/distribution.py,sha256=rQJ7nO6IOP_gll5JmjTs5dxj2L7fCjCyzmXxSQmh2sk,34281
unicode_logic_kit/prob/nilsson.py,sha256=1nAejvUAAo_B1F_UYQ8C0nEEHU_TTo_dObUa5_qGvxM,23892
unicode_logic_kit/semantics/__init__.py,sha256=moQd91Mez6JbZFcLp2fJQ539Q8tQciZhvXIgFTH2b7g,7059
unicode_logic_kit/semantics/_modal_reject.py,sha256=2RkatSSpnKF9Q9rEwTWUMIHE_Zsvzw65XHsb9ZOjM78,7835
unicode_logic_kit/semantics/action_models.py,sha256=kdkHjqsUXM6NMrRvvmdBlaEKBYKOuTO5ScEdqYSt0vI,25920
unicode_logic_kit/semantics/asp_models.py,sha256=pK2TlA_rd5ycpvuqfVrUHa0kSL65UKQXfmkPVpXFedo,62947
unicode_logic_kit/semantics/conditional.py,sha256=qnw3UeyHjtOyH6zP4ko4ilQ7VNTThyV-9iCjWiwkXA8,31209
unicode_logic_kit/semantics/dynamic_epistemic.py,sha256=VspaBpRTr5ohjGsMyERvIsp84_Ym_lCNDHzprGc_O4Y,4844
unicode_logic_kit/semantics/free_logic.py,sha256=jPi7ZXfo6zRTjyWOnXwzvmwEJdJucjEKqKqm81jrnE0,48298
unicode_logic_kit/semantics/fuzzy.py,sha256=J8bYX5NDnlz6RfgfK1ybZle2i3k4a43yZHw1jqpdqLM,19128
unicode_logic_kit/semantics/fuzzy_kripke.py,sha256=5ax6FRBMF2-UuEQfoChLgX7Mol4U3qPPaiyUtd6C3eY,22711
unicode_logic_kit/semantics/intuitionistic.py,sha256=K6w7Vrk6MCvEWxCA-aNAi0hx3XfQl2WQmG6MZZwG5Nk,33147
unicode_logic_kit/semantics/kripke.py,sha256=Zey3Udk5ZfVz98KqNulwkHDQ613xj5aXXLcORp_6qYA,59422
unicode_logic_kit/semantics/manyvalued.py,sha256=3MXDh75in4SbDDSfk-cZ_ECZYZlG3MZrtek9HVlUb9s,28065
unicode_logic_kit/semantics/matrix.py,sha256=qRcyiNvpMBVes23hYkq94mRJFIrfXF2oCLRt46c1AkE,16302
unicode_logic_kit/semantics/model_eval.py,sha256=PX76S00eNhKzp4buRFzEtC1uUBGVlDboqkUpEJAdg-Q,61181
unicode_logic_kit/semantics/modelfinder.py,sha256=wRQIJ8qC6rEwfzDT76d5VD3YNBjEGy7prUZDPrbkOuE,57685
unicode_logic_kit/semantics/nonmonotonic.py,sha256=aGa9dxlwRvmjGxGYo-nL9un5m0JSUSrsTO5qiBq87iU,18570
unicode_logic_kit/semantics/relevant.py,sha256=XIe9iK1IwR8GpPimWte8VObhuzykYDnnQbYqsL9-UqM,16350
unicode_logic_kit/semantics/secondorder.py,sha256=zDqljd35VWwi5Erc-umaweiAW3-b4xohJGslEjuNc1I,33617
unicode_logic_kit/semantics/structures.py,sha256=3dcxqNDUZLDfAonCnV3M0eCvAj5LYQmAhxT4U1xY690,16612
unicode_logic_kit/semantics/tarski.py,sha256=OsrxZrtycsWOK5G-B-Ef73IzwVW8Vkb1aHXUi7CLSEI,47793
unicode_logic_kit/semantics/team.py,sha256=Oj2DlwEZIqv5yncc1AGFUvK_OXHQQTQURrZrvqBgz5I,15117
unicode_logic_kit/semantics/team_translation.py,sha256=x4UBu0gzf6Vtm9fAyxI2Lu_ZfCsnkI_M_q8NFza0Qas,22157
unicode_logic_kit/semantics/thirdorder.py,sha256=Cks7vmJK5upBsmw6iFwRB9XW5kiishWuUP6owRlmh5s,18224
unicode_logic_kit/semantics/tnorm.py,sha256=wga1lwrmuSJKewh2ur2GzTmm99U5DLBgX2I5CKKn_ho,3091
unicode_logic_kit/semantics/truthtable.py,sha256=DeVuxQzpq-vdODYjEb20ANTiFLbNdY-5SJi3PQ8cKcQ,8628
unicode_logic_kit-0.31.0.dist-info/METADATA,sha256=4SuBT9so5uA3ldJdxwIVm1qqD7K8MHZgAO78Fll66SQ,20915
unicode_logic_kit-0.31.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
unicode_logic_kit-0.31.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_logic_kit-0.31.0.dist-info/RECORD,,
