unicode_fol_kit/__init__.py,sha256=TC7bAQm5sv6oiIq_7-JZpOxA889zKtRmZxoM1lUhMVE,18786
unicode_fol_kit/__main__.py,sha256=WlNzs3Bw5SbXZQwXxVo1Ftut3FkAaVw_vwVGsN0n5cg,20499
unicode_fol_kit/_deadline.py,sha256=PRQowL1vr5cElq5FyTDuidGSGkxbE8kB1R8rn767NL0,11269
unicode_fol_kit/api.py,sha256=EjEfuDjfqD54G7o_1I13KZMD7C6LHOKsRT7nd23Shgk,62466
unicode_fol_kit/comorphism.py,sha256=JSS8CUAYuyW0c3A9KlWnxTnsIlgaSDflJ-sZPAIOcYE,24500
unicode_fol_kit/logic.py,sha256=ctRgki2Mi-X3OK41-6-ETJJWnYPlqhgPIWZ9OUsCQ90,7492
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/ace/__init__.py,sha256=R4N-MvMwQ4Y5E4OtJJtsdl17pt1XEXZSJCh_WUWiaaQ,6958
unicode_fol_kit/ace/_align.py,sha256=I1wwPxaOX7LOwjybgNz89C7EcqyoDGLYrnUf8Vn8HZI,5779
unicode_fol_kit/ace/chem_lexicon.py,sha256=pgXRoX7H8BBHMJ7IqhCPQZg-HflirglicPUKyPa61ek,5182
unicode_fol_kit/ace/drs_reader.py,sha256=kLtwxz_xidM623WgMVEPwfu5z2NlclhMw6OjKhJ83Fs,19755
unicode_fol_kit/ace/mapping.py,sha256=oUABABSxKO7CowkqDcaOx2YBnKwAmhyWixyA1-05n1w,29465
unicode_fol_kit/ace/reverse_modal.py,sha256=PDa1_rCQgbu7UWhwHmbGRmoVvLHLZTbB4mZaX4jD_Tg,6652
unicode_fol_kit/ace/runner.py,sha256=Qm0T4Sj0nXbRjkUOFzC3QVvzbGOLey3HllUO1hQeMR0,24914
unicode_fol_kit/ace/translate.py,sha256=xINeN6Kx9oBR9-4icOIAdrLT1uqCF0QlMnrdXOw-e60,21857
unicode_fol_kit/ace/verbalize.py,sha256=wTJfC3ZixKVBbeWrNA8Umz_L5QcQp8Lx0XsW2xHokVk,46874
unicode_fol_kit/atp/__init__.py,sha256=7FTmLpSMFdeRUCQIJyCzJYn0XG7uPvVQzzRGDv-r2-M,7819
unicode_fol_kit/atp/_ascii_names.py,sha256=HoRKOKkM5HUjnV8YFkuqVmokV3ybSuUaCcOXr0U9gds,5675
unicode_fol_kit/atp/_html.py,sha256=uq4TKGIBKSmJFz4NtcBOFLy64MRXJsiyQhdcJLsOC48,3729
unicode_fol_kit/atp/_substructural_input.py,sha256=l7efE7oVlrYJEQl24jSqIVCz-rnm6DyCy0CfcsXK5dU,11540
unicode_fol_kit/atp/_tff_problem.py,sha256=quh1hvatPA7KY08frGdYRBIBHJ2Ja1Ss-jozxH_d2y8,38042
unicode_fol_kit/atp/_tptp_problem.py,sha256=Z4mUfGtwOn84X9Tr10YgtF9vIbhgYX5laOifRLYQaN4,65531
unicode_fol_kit/atp/_writer_support.py,sha256=ILQ5lq5fWJN0U5iB3vJVNA3lqAwyDL854z1ezUlWmKM,14753
unicode_fol_kit/atp/clingo_backend.py,sha256=DCrcfsIQ7PWFGg3fWewpxmkC_QPkhtk5g55bU_1dwj4,61647
unicode_fol_kit/atp/cvc5_backend.py,sha256=nDgAkJ_frLX5PvWFP3eWfcCXZRaMOz_34OR_2PL83ws,77961
unicode_fol_kit/atp/eprover_backend.py,sha256=gdP_GXVLbl8vVbe-HKpHjRT48Y1yLYAEpuvHBHPmqWk,39627
unicode_fol_kit/atp/finite_domain.py,sha256=QKCfpN9jrdfwNY99KGLok8N0lvh7bDi99z_8Jze0_tI,56438
unicode_fol_kit/atp/fitch.py,sha256=S8o8KKlMGM6nKRn0cMIoCgLePefSqBINazBf3J9eGrY,69219
unicode_fol_kit/atp/fitch_search.py,sha256=_YDl52m_A8niRNK7KcHU8gDo6qyJijEiw7thz4bPe_0,23552
unicode_fol_kit/atp/hets_backend.py,sha256=I8dcf-BNNfb8n_qkfNWOn_kCNhHlg1Etr8XdYNZVJHE,18020
unicode_fol_kit/atp/hybrid_down.py,sha256=zLc41CfX0zw1irFguSt0_aXvmGEUBmCc41t12QzNir4,6447
unicode_fol_kit/atp/incremental.py,sha256=QhSfzJ7PWFNEnBuyYargdWwAPyNmh3aY4pBNntREDsA,12699
unicode_fol_kit/atp/kripke_enum.py,sha256=oy8iJUxWyDUilDoHSxUhVrjgTDhBYAe7Cx1bbkwG_Q0,37949
unicode_fol_kit/atp/lambek.py,sha256=IADEaUb6FmcSPCW7Zflh-HdGxHzbD3nr08a7BorhTeM,19740
unicode_fol_kit/atp/leo3_backend.py,sha256=vWhKkeP7NHYJrp_EKVk4ufXPg0vZwtK1Govv9YvEUMo,17155
unicode_fol_kit/atp/linear.py,sha256=iPehuVRxpZo4Cqw7gbG86QCnAkVmejH8JLc_YAgF4HM,31771
unicode_fol_kit/atp/lj.py,sha256=7YZfyaIv3xnkQizVAx7p34Pn47xVb7IHoK18c_QSIWU,34808
unicode_fol_kit/atp/logic_backends.py,sha256=GLp-srSDFBnqYV6gPIiGFla3fpWkck3Lo1oQSKBPVt0,31114
unicode_fol_kit/atp/ltl_tableau.py,sha256=LM0gBxdWHCFLhM3uAwzVvm62hmQ4vlEoQmZngoIrXFI,51182
unicode_fol_kit/atp/minizinc_backend.py,sha256=uygVLUcytrg4YWEBMxsl3Z_5b0DquTCJ1ltKlg1mw-w,66860
unicode_fol_kit/atp/modal_tableau.py,sha256=8jw84AEKVHYI2dvWdPw39RzVBjnriTXzBZFqujkN__g,69727
unicode_fol_kit/atp/nanocop_backend.py,sha256=iBpDbOS69y8SQL2fxtaxUAqsN_1r8Y9zZ-N49QTaHVY,19452
unicode_fol_kit/atp/portfolio.py,sha256=cuuBYioV_4XKE72wa196FwnHWxz7rp71zSTHHb4_3YA,25526
unicode_fol_kit/atp/protocol.py,sha256=q2K-6Gh-8r_-9Gv68CS_qlOk0zzPbkNkpA6Y6zOco34,91175
unicode_fol_kit/atp/prover9_entailment.py,sha256=SNkNY_9gNZ5T7eLJRYkmKG5l52JZf_r7Lp6OMx0sclU,64570
unicode_fol_kit/atp/resolution.py,sha256=LpMgQPsQhcomXAvzuOMbBoXchRk4c1CJ-1Bd0vRBy_c,69342
unicode_fol_kit/atp/resolution_check.py,sha256=2zRJeGsCHVlIN-sonWaYdQ8PfRaZDipDlWiHsx-TwCs,53264
unicode_fol_kit/atp/sequent.py,sha256=yyiu4Zi-gx_OwzkffAU2RnnPXmzCL34jcoaaayBeK2I,46139
unicode_fol_kit/atp/tableau.py,sha256=m0lOhzEvkR475Ys66sUdT4H2Sxpx8XnrVDMupFXdM-s,44080
unicode_fol_kit/atp/tableau_check.py,sha256=1NZ3SB64ALaW-eB9ZesOWeRR7jOcgcn8oTnkeJecohk,28872
unicode_fol_kit/atp/tptp_ncl.py,sha256=usrjZwxWxCxvUEjuTQWJkZ4kQg1oqnDa54t2zJxhExA,47154
unicode_fol_kit/atp/tptp_tff.py,sha256=W_6AzG64NyL85oS7wAzVGgl2Uj1ExUIzPHxFFOw8ojU,81028
unicode_fol_kit/atp/tstp.py,sha256=RgJ3rsYJGlqwDmSkN6KXVA2ZIxdkqHz-MkelCgYqrfs,68284
unicode_fol_kit/atp/tstp_check.py,sha256=S1clfq2BEBLpz_Qd1A7p6e7ZvTfbSQMKzUgDFctas84,56123
unicode_fol_kit/atp/twee_backend.py,sha256=_Wv704sycYO7yKfWbQoWjRTb9bxNewEhUOcWILBRT5E,12111
unicode_fol_kit/atp/twee_check.py,sha256=lwoFO9vb087N5edUjM7z_b84vVE_7qgE141sWd-Jw1U,36917
unicode_fol_kit/atp/twee_entailment.py,sha256=jCi4DBdJw6cQRZSLQvyYjyWAA-R9_flTaM9iemeOk5U,44538
unicode_fol_kit/atp/vampire_entailment.py,sha256=_tdl4hrl1xkQOfrqtsRAH3vCmEBjkIu4jHwrL7pEAuw,29719
unicode_fol_kit/atp/z3_arith.py,sha256=9hziSItOQSeeSwZuqUf3_sNTj7T-REVn4YnZ_SnF8ds,22948
unicode_fol_kit/atp/z3_equivalence.py,sha256=0LnoREOjuH8fR4CdeaNMngqy_hzVq4sLGzsaL_vI-3Y,1447
unicode_fol_kit/atp/z3_fuzzy.py,sha256=MrQvGeIantgSROATF-dVp17cRSa-e9-fZC02RVFTG2o,15713
unicode_fol_kit/atp/z3_input.py,sha256=ysjGoX_QJypj_t0quow9Tk7yDPzi8kOsosPBNR3B8Ec,25757
unicode_fol_kit/atp/z3_models.py,sha256=SSQCz4Jv-DBGhI9BTbZm57FyhcOFfrUgw86JRCGw66c,11021
unicode_fol_kit/chem/__init__.py,sha256=BI8zXtpoq4j2DfLDzt7dD-Dcm7bi1Z4aMBXt2bYfEIU,4404
unicode_fol_kit/chem/_naming.py,sha256=bkFcBTZoz_6p6rqins25CHvsj_xWl0EVhKgB68GY27I,13403
unicode_fol_kit/chem/cache.py,sha256=SrDERrDEW6jP20_nKlWhnWqWBP0esSXS5xDrM36QrUg,8348
unicode_fol_kit/chem/interop.py,sha256=fr58EUsrIqvcE28rj8B9b-hH3T1qgh4-by9a3F3riJU,11588
unicode_fol_kit/chem/mol.py,sha256=NqhelvH2u3VF2UBChDrcvtVDTWFPml42b8Wnb-7GZmU,28309
unicode_fol_kit/chem/signature.py,sha256=N8X8EkbYSyheGRoEWfahnynK8TV3EXWf7H_YXk38zVg,5433
unicode_fol_kit/dl/__init__.py,sha256=OIu_vnmfNxzLbbHY6ZLjZJ5mLiZv2klEJQjscpHfq3c,22216
unicode_fol_kit/dl/classification.py,sha256=WgtLgwzLQAUhtbXivzZsfH9FV6ZH2zl-DEForFSduA0,11012
unicode_fol_kit/dl/concepts.py,sha256=SQ1c_2eCfbKRGzqo7QGSRVkkb2gF1jUhGabhElwR-oY,29276
unicode_fol_kit/dl/datatypes.py,sha256=BplKSYRzbsVwX1v0wg2Lv1v_ixoQAnc-7Fja1rQHuMA,38502
unicode_fol_kit/dl/owl_functional.py,sha256=mc9yumHz0YlwPkwEIp6wh6wYcw2TSrUoiZCqYMOKKGg,121084
unicode_fol_kit/dl/owl_manchester.py,sha256=199pbKEgyFsfsdvIhUnQRORm8ch8pbMeyu8Vc0u7GNA,82382
unicode_fol_kit/dl/owl_reasoner.py,sha256=TyeJM2UWyB-amOy8gMnjOHn2TRrimYwA7t6131q4DbQ,41930
unicode_fol_kit/dl/parser.py,sha256=KYXkytV7xwenSM7PWDezMNbLlX6XBjvxA9S7fmttkp8,18865
unicode_fol_kit/dl/tableau.py,sha256=w-SL0MTYhmudSlH8H-dh98dcukp767OdbjT-NSpsPd0,221547
unicode_fol_kit/dl/translate.py,sha256=8GzpYxCemeRbrr7_tFZYPRp-3soOjV0eVjpE0lnW6sw,148365
unicode_fol_kit/drt/__init__.py,sha256=RuwO_ZW942rwfRn1bDTnei2TJurw6vHGSkvl_xdW3dk,5317
unicode_fol_kit/drt/export.py,sha256=6S_mQAX-PwQNUQiMXIMkcLYpfcZkWPVUQeZgzNMWY-E,8951
unicode_fol_kit/drt/nodes.py,sha256=3jq2LebPk_LB0lR-peRgB1_QWKJ7n8cuQpQAXcpsGm8,25488
unicode_fol_kit/drt/parser.py,sha256=VjXRYcvTC0hm4BMtGdZ7HLnAxMzT_hFuGn8jmKR4iTc,48894
unicode_fol_kit/drt/resolve.py,sha256=sjaEOXWQ97ab6yVfBikSkqcqAac3Q-CGCoA4DgpdvF0,9570
unicode_fol_kit/drt/reverse.py,sha256=C3LhJlJCz1NEEvOAt3F1BR3-fZFkk080Ha2JJwyaIwQ,7355
unicode_fol_kit/eval/__init__.py,sha256=ZGJvKZKXfTIiTjKPrbonTa4nLXt0RltMMrSXf48l8CU,5461
unicode_fol_kit/eval/batch.py,sha256=lBYBZhOHpOhbpfH2fHyzHZ9UOtvXsa2-IUMYFSBvMNc,18478
unicode_fol_kit/eval/canonical.py,sha256=FQfVTj3RaDif_jrMA1ii_GXAv4O7o8fm4iNa2tOkW1Q,26461
unicode_fol_kit/eval/chem_batch.py,sha256=OHj16cX_qUB05iZJ1IcWSGt2P9-JArXavkd3cXaR1pw,27449
unicode_fol_kit/eval/converses.py,sha256=OcSTTab-mPc9qMZ4Ua8dWdM73Q5BFdJFqDPulwrkQSc,9914
unicode_fol_kit/eval/equivalence.py,sha256=p69CH554EohN9PmY22abUhA9NN1BcCzBeviNsn53KkI,24367
unicode_fol_kit/eval/exercise_gen.py,sha256=BOFc00lZ9hLgc5YEItsMyJtPif0vrHN2UPRjQMEAqYI,26556
unicode_fol_kit/eval/explain.py,sha256=PNuMJQGQDIFv99SrALVgRbZceZ4OM337MXa6hPLElEU,35268
unicode_fol_kit/eval/generality.py,sha256=tstGTvX3MbjJTQVdFZVERrNvKGhBf68d1B6CPJBRlwc,37662
unicode_fol_kit/eval/metric_hf.py,sha256=qYAV8NFlBsv1jpPRzG5cB4_MmUNYS-2zEE1AxCJCbQg,23267
unicode_fol_kit/eval/predicate_match.py,sha256=gTYKcSHI2rgTVRe3XP5vwKYQuHMxu4XNM-zd4ROjiGI,15231
unicode_fol_kit/eval/theory_check.py,sha256=e6wv-3Jbz-J5IFrCaKUMapGQh5s7r910H-XE7AQLsQI,59540
unicode_fol_kit/eval/validate.py,sha256=GrQpCEMt-j0lYybyCTxAVlKmNCK86OFH09rsPDmYm_0,12231
unicode_fol_kit/eval/datasets/__init__.py,sha256=CBtzl6KGvm-d51bzIsUbsfbPHm3GDHviRbpPybumo58,7659
unicode_fol_kit/eval/datasets/_base.py,sha256=UAThrZ4ncbDsVfw7nJHRate2_VxS7a2pH9O2zybFGmM,12275
unicode_fol_kit/eval/datasets/_proofwriter_proof.py,sha256=SchS7YV721Y3qyXydr69ycsldTQPSzTF9Ue3Mbx2uXc,18893
unicode_fol_kit/eval/datasets/c3po.py,sha256=wNwywue_rad6crZm181UXqUaMIM60qA_h5r5AzL1MrQ,34097
unicode_fol_kit/eval/datasets/folio.py,sha256=NXMZqQsVWwC8sAoe-ypb8yIt0nr-wPzjkmmRjc5i7Jc,7251
unicode_fol_kit/eval/datasets/fracas.py,sha256=8zZN_-b0qI9YEIEZAsCbxZ3bNRjP3p6lErfshP9tD4Y,19364
unicode_fol_kit/eval/datasets/groves.py,sha256=uGotCDuRGqVJIdz-4PVCD1N9-as6lUF6F4y3aLc0TqE,9826
unicode_fol_kit/eval/datasets/logicbench.py,sha256=UymDxzeJQNvetaf0x_iPOEK2PS5WTExxCQxqmR_6J9I,24390
unicode_fol_kit/eval/datasets/logicnli.py,sha256=J2lE7VCxlqp_tGXP1-UjtvIbgilpQl9OuNiJzjLGdPo,16470
unicode_fol_kit/eval/datasets/malls.py,sha256=5IcHUgfvFEpHkAhcWvCz3xcmoJQKdJTuSGp2gdV4qSw,5911
unicode_fol_kit/eval/datasets/pfolio.py,sha256=GrPUFHHIztOKcIc3_EIBW-hQQjFttiqbgM7AERjSk64,29938
unicode_fol_kit/eval/datasets/pmb.py,sha256=ryUVrJigugFcIlWB-wQ6vrct5jha70N9ZOmoqO_Xtpo,13593
unicode_fol_kit/eval/datasets/prontoqa.py,sha256=N7VqrYxgB2xJrYAMLz3VamKDmN45e65D5W_mMjY-kZs,30998
unicode_fol_kit/eval/datasets/proofwriter.py,sha256=Uuf-vMCgiOdzECVDS434flshLjEojB7gPD6gNS3hhh8,72596
unicode_fol_kit/eval/datasets/proverqa.py,sha256=AEZ_suGCHQo-6FBXRV8wk8hkOkb7prEcC3C0sxqDQFk,32552
unicode_fol_kit/eval/datasets/willow.py,sha256=vp4JnHKgALdJJg1t8QV9EZJDWRw_HSAFxhJKKhhvyZM,22288
unicode_fol_kit/fol/__init__.py,sha256=Y4vCi0UDy6Oxyw9LxVioMh07E5NrjZHl79dZEvR80Jc,7299
unicode_fol_kit/fol/_atom_keys.py,sha256=gpwC3TZEhEjv3TBcLv3B8DHbiXyF-WZZSddBB1XwwAs,11979
unicode_fol_kit/fol/_fol_nodes.py,sha256=LkJrVbti2Mh9whPTbfIF50l4o1tPfmQ2Vr31Gd6DTlA,168848
unicode_fol_kit/fol/_free_parameters.py,sha256=CYMuGLp8q_gWt_zX1K-heNNOyP26rr3Mpwak6eMFvY0,5346
unicode_fol_kit/fol/_ho_nodes.py,sha256=nHyl5Z8LSXWuBN_mY465vgsFvzTxwCAoZzp6Jy-c_Jk,20501
unicode_fol_kit/fol/_hybrid_nodes.py,sha256=RQQrSB_5ingp2vN0roOQlCQVcIMccJCW3OzNHKrL6Vg,14791
unicode_fol_kit/fol/_identifiers.py,sha256=NvrTbKvYcfaPMdU5aC6kcaWlTm1SgK_cbqgV1I9J5Cg,48012
unicode_fol_kit/fol/_lambek_nodes.py,sha256=4lSvmGFR4A_hAK8QPMgL4b08UhOrp9ZdkaPeMr99O1E,4813
unicode_fol_kit/fol/_linear_nodes.py,sha256=q-AC_RCbdo48ev8Zk5i9WtrC-kPTFU55_0bvRtlpaNg,14993
unicode_fol_kit/fol/_modal_nodes.py,sha256=wbey8DrsAcnkdtvhx6lVm8qGB5a0xM8Ce4M_rSgaOgo,67417
unicode_fol_kit/fol/_msfl_nodes.py,sha256=Nfax8RTH5f56HbOyv785KLqFNSJcwXXx3au2E7c3CnQ,99292
unicode_fol_kit/fol/_numeral_symbols.py,sha256=Gn3J3BUUZlKxLDyYNdSwFtbNcEjX0ZIyFOu7Vke6sJY,12223
unicode_fol_kit/fol/_so_nodes.py,sha256=AW_BEiORV2D1nS0vSC_SlV2cuYLQnJCM1S37z9o2_yE,8423
unicode_fol_kit/fol/_symbol_names.py,sha256=8lBEnU-2CyuJDOBJT8CPBn-3-UNrM4jWOijWfn5lug8,3963
unicode_fol_kit/fol/_team_nodes.py,sha256=2zHEJS4QMJcV9hEAufJYVw0U_iWhJsFiV2UX4P70Gg8,7941
unicode_fol_kit/fol/_tptp_symbols.py,sha256=ZL4kgERbMeD-7JE6YtnIDjfsJ9qZuz9ngvIK6_tF5cM,28395
unicode_fol_kit/fol/_truth_constants.py,sha256=tRbn62E-DkmZC0wC6X_If7A5r92jJKxgkDE2hCiPriM,5173
unicode_fol_kit/fol/casl_export.py,sha256=nmT-TX1RnEc9lrVra5t_U8MdCcIb5Aub5i98vEhoYKo,58541
unicode_fol_kit/fol/casl_import.py,sha256=clPI6aQqb6I1Izq0b889Jggui1aYbq5OtLsD_NMYD1M,43161
unicode_fol_kit/fol/derivation.py,sha256=o_iS-uejNC9f2NAUKe7KaZ46AmnpJWRL8_a0f5bJi7g,16562
unicode_fol_kit/fol/dialect_detect.py,sha256=JpV5fWnv50PEkFS-tWaUSwNuT6qrgt3I0b6-W6bSERc,3340
unicode_fol_kit/fol/dialect_repair.py,sha256=37mXBbjhDmzvBmhjzdOrGPMNd_hcLTm-8pbFVM56jK4,22528
unicode_fol_kit/fol/frames.py,sha256=dpZh3fJ3DJgKfGB_jTll4zpUTQ3AgM5yjGwpmcsd_Eg,29532
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=7ys78buxWNg8ivPeFX3FZs7GfK5iFAa-Sq9RMo5aqFE,16798
unicode_fol_kit/fol/modal_translation.py,sha256=k3CUVAHGnDhFbzQGw_FSOsdTqH-VvQ4u9BEJftmbIO4,51069
unicode_fol_kit/fol/msflparser.py,sha256=phGCqiWUFcbjiSsy0ljWT-6vcM45xxmrqP3kazbYZno,55585
unicode_fol_kit/fol/naming.py,sha256=PqLUYNCNfMslxXer5JWZKzJWDOv1s0C5HanKpym71Ng,16643
unicode_fol_kit/fol/nodes.py,sha256=Ro_pRUF8YSyAWfiF4s7K0fDzQPakXFQRRGp07sf-Z5E,11459
unicode_fol_kit/fol/normalforms.py,sha256=dCVoJ52Okehf_L90pL8N4Ig4I7KtDwkXKOo30G1lpK4,20795
unicode_fol_kit/fol/pal.py,sha256=cZYle22kfVn0X_v4fb1jOtfCm6_mzxPB-JzrNzXl51g,16336
unicode_fol_kit/fol/prolog_export.py,sha256=cKTU4esiz1gENKWdw-R7uZ7DgKR86btGHrEzoXaa5aw,29654
unicode_fol_kit/fol/prolog_input.py,sha256=AZRQBXx_xPSsyXXrWHxvhH_X_dGsulm1-GcYau-TG4g,20955
unicode_fol_kit/fol/prover9_input.py,sha256=ceINK2_0iy4X4Do9-IXie0O5igSHua9Mw8NmZ6wuiCA,64510
unicode_fol_kit/fol/qml.py,sha256=Xn01-ZjglkR5zwe3rJ4i8JOO_SzotVzxnopnBP71j7o,99768
unicode_fol_kit/fol/qmltp_input.py,sha256=bELUkCb2W5vRwt6wdVacZwQfe42gV4eDWKK7DFdCX9k,23973
unicode_fol_kit/fol/sanitize.py,sha256=4BE6H-feF4zPUDL8kyr-LSLml-AUGfYsJYT8pCy1-go,9482
unicode_fol_kit/fol/serialize.py,sha256=CG3oqT6GjgOMu5HbwF2KFO23GA3z8OofCK9l2LJ7RLw,3232
unicode_fol_kit/fol/signature.py,sha256=eUoQagsvj1b-Zihc6ktkOvKRCCwH-7UDp2E_1bdKS8c,64609
unicode_fol_kit/fol/simplify_check.py,sha256=ZfUVpFrX7YEUWWjNW47fY4M8kSzt5HdSZTKHJ83rhuo,26323
unicode_fol_kit/fol/spans.py,sha256=sdGiPNXhwX_RjrAD9NOnQ3tCSCCx4G4k9tEdZB9XFlE,28447
unicode_fol_kit/fol/tptp_input.py,sha256=Awz6aRPEqreS_w_a4xWOtihTpoVVFP6SUlQvlaFcKrc,67941
unicode_fol_kit/fol/tptp_repair.py,sha256=1118egrIfQlMAMM46qk8XBUxZVeXR26pp0-285lm4kg,45813
unicode_fol_kit/fol/unification.py,sha256=oc2VPug3ww6spsSr6vhUs-pSO1hDJLFliEspHJ0TmvA,6457
unicode_fol_kit/fol/verbalize.py,sha256=thMpxScC685MxGenyjxCirQ82IfCU9XLV_JbhTNaN8I,11574
unicode_fol_kit/fol/grammars/terminals.lark,sha256=bwh_yIGCnLhIOfnJVb4Ap_rSHMGFyzNWzM7YGBwN9uc,1605
unicode_fol_kit/hets/__init__.py,sha256=878EQgwH51oDeegC3hilPFlh0FMJnW5lcJ1TJQExbL0,8384
unicode_fol_kit/hets/bridge.py,sha256=IH50zlSic_TC7NK_zazk4Wazqrjg_u5M7zdDaJwpqjI,7034
unicode_fol_kit/hets/client.py,sha256=coPZPl4wOKZpAmEIdIxu2Orq-X59nn4CNZRe5QfVoh4,36852
unicode_fol_kit/hets/docker.py,sha256=THYINNy82PNqp1I1Xk5_idg0L0HLG7Wam9sn4i0gy3M,20435
unicode_fol_kit/hets/dol.py,sha256=LvMmkZXi1lUNefXkYf0LMhG-zVtw5uI6aP6-vzn_XKc,39684
unicode_fol_kit/hets/haskell_json.py,sha256=n2Qz4lcrRh90Nu1ZnbPj6MeIWwmo_l0FeTGTIzbU4Ew,15772
unicode_fol_kit/hets/owl_backend.py,sha256=KXY0qpjyLgZkMu_0f77HaxFp2uyUBe66GGn5611IPYE,44508
unicode_fol_kit/hets/owl_cli.py,sha256=a9jmJjLoMUFH1QXXbNW1z9pd-_FfZF_ciwYesYFPDlk,27617
unicode_fol_kit/hets/symbols.py,sha256=SEkLy9kUI5iDlzPXikjM_jgl0yO3QB5vx4ipzAA9ENI,22270
unicode_fol_kit/hol/__init__.py,sha256=JHamw9IwmT5-N2qY2buOUCVi31SGO4Seof5gASOhJu8,8131
unicode_fol_kit/hol/_ho_common.py,sha256=KTp5SsLIw6r1_3RL6QV-eXHTxB9uTEEvm7FiemDi8JM,9304
unicode_fol_kit/hol/_isabelle_binders.py,sha256=5kiWr4r2AcDHJLGRIltEe-ykC_Oqzx2qiO2QmBzi8VA,5939
unicode_fol_kit/hol/classical.py,sha256=NrMZcPFFuHbFD38X_g4oLBcMXMkrIJGwZJFh97T7ReQ,43438
unicode_fol_kit/hol/free.py,sha256=ct0Vmg6oxztZdsRj9-UACK_0tTNWqPWprk6EedIeW7g,37350
unicode_fol_kit/hol/goedel.py,sha256=c2XPWo9UWMzCwL6HTGUR9ERkJfSXA_wxL3SXqfbpOAE,15250
unicode_fol_kit/hol/ho_modal.py,sha256=pijZm9l-R7Kc7XNJ6xjF4fgOHMpL_i4exmzY89sEz3w,89426
unicode_fol_kit/hol/intuitionistic.py,sha256=dozrTdwjP2n8s3dy0IHHt-Or7UUwyp8Trp9lwpgkG3U,22779
unicode_fol_kit/hol/isabelle_conditional.py,sha256=trb-La4O6FU5ogUzAkwbpY9xDVotFZgryNv2cok7enU,32299
unicode_fol_kit/hol/isabelle_modal.py,sha256=Jz2ICLE4wHlOSoYtrBkDLmUi_VwIYmhksRku1jIBxmw,99634
unicode_fol_kit/hol/isabelle_relevant.py,sha256=D6wnx09qqKMouRKxsaJogAxfyJ5vj6KdYwmC5kGZ_0U,22962
unicode_fol_kit/hol/isabelle_runner.py,sha256=FbzQWdLlmyKMJdBepPg-SxpZhTylL5Sd0KNQoa_g9vA,54116
unicode_fol_kit/hol/isabelle_substructural.py,sha256=INp5tu4aXnyEBUFLvGMXkMQ0BzgZhK07wAt9XwwgzAA,43832
unicode_fol_kit/hol/lean.py,sha256=z87iXz_MmTQta-ODMrCr67f3nAngh-wWfgFkOp9LIF0,49012
unicode_fol_kit/hol/manyvalued.py,sha256=C2Ru83ZY-vzq8OahaMQJo0KqgSE2BDmxyKgyk629Is4,43745
unicode_fol_kit/hol/secondorder.py,sha256=MmgUDb3dusjSxrsJ6vtArg9k_BDKIcMzmPj6upvyWjc,32996
unicode_fol_kit/hol/thf_modal.py,sha256=RWHlQFSmSNsYR18tHlGsIEMlx9QmLNIicHKCuplj9a0,54713
unicode_fol_kit/hol/thirdorder.py,sha256=iSB0nhrahctNwf55Ydu5r57vS4p9JpUL1xO6uVlzu7M,16575
unicode_fol_kit/hol/deepshallow/__init__.py,sha256=HLUm9uOVjls_S8SVZYMO_Oq8aTyqc6TmchIDolrClCc,2292
unicode_fol_kit/hol/deepshallow/_common.py,sha256=CTc2Fyctu-aMrbgP7VxnkSBa4wsjKhd9vhwq2LfOKhg,8696
unicode_fol_kit/hol/deepshallow/conditional.py,sha256=O-RYGIUPduO4u66OXCurrLQW-O0xapN78C8Yl7MlpCs,12585
unicode_fol_kit/hol/deepshallow/intuitionistic.py,sha256=13ap-oZtmP8OHm4KRFyLedXOgBA1aQ0acdIGKo7UKPU,9890
unicode_fol_kit/hol/deepshallow/modal.py,sha256=mV-gDOSg12xIJywuOtPvqApPlqIqs35BKH-D_cTDHYA,11110
unicode_fol_kit/hol/deepshallow/qml.py,sha256=QiyvmG_nXRLfhJZQb1de-IKy850vThDgCpnGOuSbepw,22354
unicode_fol_kit/hol/deepshallow/relevant.py,sha256=yV55FiGY6fD5t1VgI7XbBilav3ojv31xJgXN1tQdua4,11394
unicode_fol_kit/ilp/__init__.py,sha256=Pi0JNxhG5-l_tQFvr0E9iQyxDdjYKL-HvD7I7ek-6W8,4424
unicode_fol_kit/ilp/readback.py,sha256=1LO1ZP9XplbGI3Bw42MJUB_z7_yAA_I7cireDjEQZuQ,18669
unicode_fol_kit/ilp/separation.py,sha256=bp_1KDZElUMQBPWLY-nEN0DGHR-oVE82M25lZLKTAGo,7102
unicode_fol_kit/ilp/task.py,sha256=EcyvLPdNFKLfeFGOILHMFpLfxFtq8jmmnpIsUSSkbl8,35041
unicode_fol_kit/mcp/__init__.py,sha256=FKdjq4WU5sbs9m3VSGXJG8CGKjSNuqYgDGJ_aGMXwyI,1428
unicode_fol_kit/mcp/__main__.py,sha256=cjRfNZwI2miynUhbREBFCzGjPuPQrB6Gz2wMQNkMSSc,107
unicode_fol_kit/mcp/chem_tools.py,sha256=-JP8ugsuNCqiLVzeJ2dApTcUCPfC2gZrT_GLfKQiwUY,53874
unicode_fol_kit/mcp/server.py,sha256=1_qZrLcP0R3cr8Nrv0pL66CtpekRS5B-za8MOdE77oU,114743
unicode_fol_kit/mcp/syntax_spec.py,sha256=0q53FGeMlj36HQ6AA4TixN4gG9vtPUJFg9ZhLTzhclo,35450
unicode_fol_kit/prob/__init__.py,sha256=xpttH4id_EBBJT-vfD3q1u4vOg4EU_8HiqM1aBa25M4,3062
unicode_fol_kit/prob/_bdd.py,sha256=XcYmp_3t7jWEECITVIAdcNFdk-FHq-DcQpQL8tRDiwA,10513
unicode_fol_kit/prob/_column_gen.py,sha256=UrGVp2uhL6fVm9s2fkmGgs8B0BQ1EmFge8eXws9FWUw,36240
unicode_fol_kit/prob/distribution.py,sha256=0tNWzxY5vW6cAYT-4QX2YeHb3GpHCY4N1Um1Wgpw_Ko,34169
unicode_fol_kit/prob/nilsson.py,sha256=jBbQ3A24EPi0zKlUQ1fCZ-2NAyXw0vjemLmjNtJsbNg,23920
unicode_fol_kit/semantics/__init__.py,sha256=Vi0cC-bsyDi3EufnIt-AxlrVMJd9mgn7qGEWDRfRhIo,7057
unicode_fol_kit/semantics/_modal_reject.py,sha256=2YIQDzLSAcCZODta9-6l_zGb6PSIcvJ_6a7v5u_mbfc,7833
unicode_fol_kit/semantics/action_models.py,sha256=dfhOioD6uAYJe2r24WEZz9RHanzrpqnCRr0be9DrU74,25886
unicode_fol_kit/semantics/asp_models.py,sha256=rZZYSAp7uyL9lZATLWm4DILyEINFoDTdXqquhP-usXw,62861
unicode_fol_kit/semantics/conditional.py,sha256=3C3Vjv6bl8tz50anvbinwfGgdiqkxXHA0cSxuDq9ek0,30885
unicode_fol_kit/semantics/dynamic_epistemic.py,sha256=sXR-lockLjPPi4akuQSIWJON6anzBqW5NRsr6k4V1XE,4830
unicode_fol_kit/semantics/free_logic.py,sha256=RRJjkdZSygF1iE1Th1qhn7YemQmu7zPjRAzrz2a0Y-A,48266
unicode_fol_kit/semantics/fuzzy.py,sha256=a-iVPJS-9u89rnSmHY-tin-Mjokx7_4o2noOZIrM6Og,18520
unicode_fol_kit/semantics/fuzzy_kripke.py,sha256=XY1AgCRW4Nhg1zWOrwa7WFWgfI8Lqk2HV-282mqhokQ,21870
unicode_fol_kit/semantics/intuitionistic.py,sha256=D4MV1uS1qhleU3kFWNJKFLtxRRJ36ioExvr16h1LoIk,32405
unicode_fol_kit/semantics/kripke.py,sha256=GVtgTgrBdYIiTQBhDIQd7WM8TN2q4j6uQfM8aC6kxUY,58343
unicode_fol_kit/semantics/manyvalued.py,sha256=kmfBv87VYVpYK73ywkEpbQrWRZ26WvqZhs6ihiV1yM4,27520
unicode_fol_kit/semantics/matrix.py,sha256=OHJfhZ4WnhLgoin_P8glBE7bjdx1na6Fp-3M3Xy2qKw,16000
unicode_fol_kit/semantics/model_eval.py,sha256=7rzAvUSpzT9E5kP0UW-OIcNS6ZmKOjZ6pfcqsF7Iw4w,61159
unicode_fol_kit/semantics/modelfinder.py,sha256=hZg7liM51XgWwRr64zdvksi3_Id8rw-OZY0n0Y3yxGo,57659
unicode_fol_kit/semantics/nonmonotonic.py,sha256=WmvzKUGQj_4vOqUzwdVKVkaXVewE3V-_noRBFMdRDlU,18558
unicode_fol_kit/semantics/relevant.py,sha256=yCexUIfUsd-NecC7z6x9FOntfSx4JFoBZv4v_zTCTo0,16256
unicode_fol_kit/semantics/secondorder.py,sha256=KJbHp-ct5TIh_a2Usx-mGY20x7Ekw6E7tihhZYZvkmk,33593
unicode_fol_kit/semantics/structures.py,sha256=Kh9BZGWxJI_zWKgSMQmo9J9omYs92xivdzs96tz8GxY,16604
unicode_fol_kit/semantics/tarski.py,sha256=TOopb8_jjeHQE5iPoVWNsib9nTDU4i1_8n-aeAqULcc,47787
unicode_fol_kit/semantics/team.py,sha256=8PGSHPEhlzABkBOuECpN5-agA7VMxHtmzy51dXFzzE4,15111
unicode_fol_kit/semantics/team_translation.py,sha256=ZCeVlLZOFgP87j1hBmEAxd9GjaSn1vIawDJ58yaM_Wo,22133
unicode_fol_kit/semantics/thirdorder.py,sha256=QQe8RjJ6Wa4T-sV-2hpaWrMU41dPSbh6YnQNoHuveIg,18212
unicode_fol_kit/semantics/tnorm.py,sha256=wga1lwrmuSJKewh2ur2GzTmm99U5DLBgX2I5CKKn_ho,3091
unicode_fol_kit/semantics/truthtable.py,sha256=jUwhyVEHpv2wt3OqNbXe07PBsAF2R5mBk78eXlcGkWg,8626
unicode_fol_kit-0.30.0.dist-info/METADATA,sha256=F9gK_hhUyVT_0FHN8s-JI8wlN5UqsbTTUh2eAUyYOMs,19754
unicode_fol_kit-0.30.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
unicode_fol_kit-0.30.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.30.0.dist-info/RECORD,,
