unicode_fol_kit/__init__.py,sha256=etncUBAGc0pVX_TWq2cDQ69_XENSG_5q5mAXTwjQdKs,14807
unicode_fol_kit/__main__.py,sha256=oN0AvUy77sXMSQFJuOWHhFdmCrKZ19lhyFj4Wtf5odM,19581
unicode_fol_kit/api.py,sha256=LNGmC-jhAprdYyuD1p6aN0DwuI1srW92OhhCAl36Riw,31225
unicode_fol_kit/comorphism.py,sha256=9M_yS1fl_5y3-CKWIQt_QEUl3y4XmaKcJpcwH32pUkE,8985
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/ace/__init__.py,sha256=0JhC6OGnYeCBfwbdpkjJE4qgFzi9v8JLsZDpL9EPSBM,5482
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=WP2dnZGQdpfpZ4vtcnVE3Tor5vSgiXbpqYQKNQyGc_4,18055
unicode_fol_kit/ace/mapping.py,sha256=oUABABSxKO7CowkqDcaOx2YBnKwAmhyWixyA1-05n1w,29465
unicode_fol_kit/ace/runner.py,sha256=Qm0T4Sj0nXbRjkUOFzC3QVvzbGOLey3HllUO1hQeMR0,24914
unicode_fol_kit/ace/translate.py,sha256=Q341qNlUTBR_ZPSK_9SYhucayRVy1IPXxwJ1vMfEkvs,21817
unicode_fol_kit/ace/verbalize.py,sha256=jzMUASAwdfFk12pFsg2USWr4nlPy7bzmbi-BL1Po9fs,36969
unicode_fol_kit/atp/__init__.py,sha256=17nxQV1F8zVD1S627ybbRHawzZ4kFqSfeuTtY4PteDE,6087
unicode_fol_kit/atp/_ascii_names.py,sha256=HoRKOKkM5HUjnV8YFkuqVmokV3ybSuUaCcOXr0U9gds,5675
unicode_fol_kit/atp/_tptp_problem.py,sha256=BfmyArrzWZmKdX3SWGbbSgYcCF0u-6IibytwidpsCY8,26121
unicode_fol_kit/atp/clingo_backend.py,sha256=wm9vL0aaz42Gb9VjckFCF_PIMWdkdtG9NoniTObABg8,54074
unicode_fol_kit/atp/cvc5_backend.py,sha256=e5XagopYWn4ElYsrhFg5W1mz7FBZi-7pTMObHWFloZs,19397
unicode_fol_kit/atp/eprover_backend.py,sha256=mraSvoS7VKlRT2D-1cXxxp3GaDTYJkG1p9Y9djDBGGE,14622
unicode_fol_kit/atp/finite_domain.py,sha256=JKkQiyMQ69HDo3_c9eAC69dPdTnMSpKGv4xgIpTCVn8,37961
unicode_fol_kit/atp/fitch.py,sha256=HPE1qMPDM3x2pzFS_t4fLHe6V503gexG00lMLzU6XCo,63262
unicode_fol_kit/atp/fitch_search.py,sha256=_YH6LWSGIalPzu6LIn13QC8O_FeZ9lXt7OaWcM-vjNM,22839
unicode_fol_kit/atp/hets_backend.py,sha256=I7jZ5gU13lZwUfdrkVArYJ7xCXh8zXE_k2mhjExDfUU,9988
unicode_fol_kit/atp/kripke_enum.py,sha256=VVb8HWEtpK-_UVV1Ep_Vi3YkflGI6Y7jLXPa2j6JPUw,25732
unicode_fol_kit/atp/lambek.py,sha256=wAw2iZr48bXc-V5ky2ud7QyizPVNaozRzCctAL0aU0A,16566
unicode_fol_kit/atp/leo3_backend.py,sha256=ezljg-EVHYE-KGMIOaXcODk-r1DRj-PnOEzGexOr1c0,11429
unicode_fol_kit/atp/linear.py,sha256=GTjFX2WjVhjUXRdTeqVJ_31YAwfNj2bQ5H1v_JMWDGM,27820
unicode_fol_kit/atp/lj.py,sha256=Jy2jj6rvphJwWD6S22_4svlTlX4WG706XuWpaJpXzFE,29132
unicode_fol_kit/atp/minizinc_backend.py,sha256=3It422kuBGZdIL8DvNbyh4HRibXmXoBtFvQX9plIVVE,57807
unicode_fol_kit/atp/modal_tableau.py,sha256=sMdEj7_Y0ap8m-yCKPQzGp6wdAiplHeOIwfE3FEVy6M,34422
unicode_fol_kit/atp/nanocop_backend.py,sha256=E9ddD-HpmJ2EfMBXinCYZBRKSdaIVm4CsHIhNJ89BgE,19169
unicode_fol_kit/atp/portfolio.py,sha256=qevNOJWSJZ_GK7fgMYwYng2CrftWrTj8MTZZTkQIL7Q,16745
unicode_fol_kit/atp/protocol.py,sha256=n7N5fZ92aGrylBowl0VFd9ut70zu0xSgAjhVq1E7bDI,30130
unicode_fol_kit/atp/prover9_entailment.py,sha256=7IYfGet4loF5x_Y6z4dNCtK29jkzkRTJjf_BjlfaLRk,13111
unicode_fol_kit/atp/resolution.py,sha256=oA3dBcoI8gTOxk30tPcHt3rCCqk8ESFJaKNKGP88ir4,59285
unicode_fol_kit/atp/resolution_check.py,sha256=OCSI0_-kbUknwwDpTxoUVTKE8nWzJcOyd4w93ZoVU_s,48572
unicode_fol_kit/atp/sequent.py,sha256=RulzexPkzqkj1Pe3M0GW2Ep8vAUnqcWsl7FmZlSCebo,40858
unicode_fol_kit/atp/tableau.py,sha256=ZqvHNZmomKwMRYJLVricV01uTCJhlq6Y0z2LNemIaMo,31443
unicode_fol_kit/atp/tableau_check.py,sha256=ZLcp65TaeaBzrLFONvWwFmgEfQDh1sBhfUemrHFRP4Q,24779
unicode_fol_kit/atp/tptp_ncl.py,sha256=EjR2WDsov6s0-yl7Xdkoli5g6pdiTPJ-wfmW2FvdA_E,16068
unicode_fol_kit/atp/tstp.py,sha256=Iu3lgnF_Yc7fvKfLwe0QnO3UiZDj703SRxpuKgSlsHo,21137
unicode_fol_kit/atp/twee_backend.py,sha256=vFZHrUO23J2K8qIzdYBfoDxmoHK7iyirJQt1kjftkfw,7480
unicode_fol_kit/atp/twee_check.py,sha256=sr9mcYHVpCQxuK_ONJR4_0uV_mrP1aPoJUzEhthVouM,24406
unicode_fol_kit/atp/twee_entailment.py,sha256=24WAtHu11womedY3maTSH0a3I-cWdTS6c4WdugRQz4o,37151
unicode_fol_kit/atp/vampire_entailment.py,sha256=xVF-NMb2Od751D_NZ7-Gi2bBeAPN4hFFAeiY1bQYrhc,15241
unicode_fol_kit/atp/z3_arith.py,sha256=4juapyfWlJ2cikhopx5ktycA-86GWw7K1XxWh7SSDjw,11878
unicode_fol_kit/atp/z3_equivalence.py,sha256=qhzCF99f60tVpHi3-D3tOtyCMH1EFnT1Riy8odbassg,835
unicode_fol_kit/atp/z3_fuzzy.py,sha256=emRNimbTqcCk_x6Gg0bpPH9MSawL6ZOl6Z9eGWg4Ir4,12503
unicode_fol_kit/atp/z3_input.py,sha256=NuOpcHNxnd0H5Va02s-UDDPRj9T460HGZzvih_LxqyQ,7131
unicode_fol_kit/atp/z3_models.py,sha256=hStUjBMVzrsn9TElr6R7HLNXKpR8_XgSI9CTmZc6aC0,1794
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=IgK1eK2SY7d87ocxo5x_iI3xLnJ6QYBWYzJvh2wRAIk,11397
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=EcP2gMHvSrLsndUYIkUpuV-gVk_XSA6X9zp2RaVGX5U,2878
unicode_fol_kit/dl/concepts.py,sha256=ZifI5mYPKEfjQN9fsKuLTcNZBl-mP7jufAZjU5b-wh0,5145
unicode_fol_kit/dl/owl_manchester.py,sha256=oEPIb8WxRUJNJ86TnWKR2CnRu8dzLN696d64KAkRXxQ,17758
unicode_fol_kit/dl/parser.py,sha256=arzcnl1szO3PCASr5PQctS3-e6Qg8jM9tWmkAk1mXDo,8812
unicode_fol_kit/dl/tableau.py,sha256=iY2pQzuHhBn-92A71aIL9SPMFGEA1uvwRyHf2OcmXfM,10176
unicode_fol_kit/dl/translate.py,sha256=dzP10ZGWqQlS9jtrhllVESK15z3dlooJ4eFIgc9byvE,15844
unicode_fol_kit/drt/__init__.py,sha256=RuwO_ZW942rwfRn1bDTnei2TJurw6vHGSkvl_xdW3dk,5317
unicode_fol_kit/drt/export.py,sha256=iKOCPaV8PV6wPjv5up9yUiZAXnDWD3WNTu0mmGtiq_M,8192
unicode_fol_kit/drt/nodes.py,sha256=3jq2LebPk_LB0lR-peRgB1_QWKJ7n8cuQpQAXcpsGm8,25488
unicode_fol_kit/drt/parser.py,sha256=z72GXtGP9chGc-mHw28ls97WIT2c5pedvro1aGuU7Ks,29656
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=1nPQrDlmlAJILHr_CBSeOJQ_gII1dcYzk5vi7IrxcPo,4064
unicode_fol_kit/eval/batch.py,sha256=QHb12ohx_3mUrnXcZno-q0SBhb1uybsSLsge5QldpBg,16542
unicode_fol_kit/eval/canonical.py,sha256=FQfVTj3RaDif_jrMA1ii_GXAv4O7o8fm4iNa2tOkW1Q,26461
unicode_fol_kit/eval/chem_batch.py,sha256=O2N6zpWTA_gxLYaYYvG5-DVmTAPk4D5nk--Z2Nch-iA,14620
unicode_fol_kit/eval/equivalence.py,sha256=1JFSbBzMhOcyixK4CIh_zld-7abWk-GLPMlVXjFqOZQ,17709
unicode_fol_kit/eval/explain.py,sha256=GH6tmFQBdOBd2dQlZGQ8m49-oZpb7Wg1nZXxf30efeU,18668
unicode_fol_kit/eval/generality.py,sha256=Ixa-hML9hXODNzoGXY9I5_Idf-zA2Uxbb_SNZtoAeaA,37095
unicode_fol_kit/eval/metric_hf.py,sha256=Qu9b6IEabZAtaV2OAy0tng6_cyiViajLI32-tFf5jAE,15591
unicode_fol_kit/eval/predicate_match.py,sha256=OMz6AtxUiGyoWQDluMdlcgBXKyuwtGRQfYZkcq1OMvk,14925
unicode_fol_kit/eval/theory_check.py,sha256=HZ5TYeJVicPWLEELdtwNTUoNu1KFFFd4Loh7sHOtxGM,41479
unicode_fol_kit/eval/validate.py,sha256=090lhw_JsBdIeUkIbvfdtNmu-Ioxkt3k-aPG1tAqMzM,11041
unicode_fol_kit/eval/datasets/__init__.py,sha256=rxfqG-KVfRKsm3Kr1pGEZ13MvgnlZ2T_PlGImNEe-1g,5537
unicode_fol_kit/eval/datasets/_base.py,sha256=UAThrZ4ncbDsVfw7nJHRate2_VxS7a2pH9O2zybFGmM,12275
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/groves.py,sha256=uGotCDuRGqVJIdz-4PVCD1N9-as6lUF6F4y3aLc0TqE,9826
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/prontoqa.py,sha256=N7VqrYxgB2xJrYAMLz3VamKDmN45e65D5W_mMjY-kZs,30998
unicode_fol_kit/eval/datasets/proofwriter.py,sha256=8T6r6m5fHwRSpStF1b6TzvXKGbXAYxzqhyEm3t6p07E,51832
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=sLumjyeR-iLx8104pwwYchY0BhMrX8EgP486rGSZ6l4,5592
unicode_fol_kit/fol/_fol_nodes.py,sha256=ANMqomREw31B6lQbkvE8FxkUvx5ndD4JvD6gY7nV2A0,93117
unicode_fol_kit/fol/_hybrid_nodes.py,sha256=ZnhupV-w5_8ZIjFm2GjIN1y9ipodCUSijSfW8lFQ0eA,7287
unicode_fol_kit/fol/_identifiers.py,sha256=wVJRFknsOFV156IXkBlg_FiGfMufGAU4rBDjts00weA,37362
unicode_fol_kit/fol/_lambek_nodes.py,sha256=4lSvmGFR4A_hAK8QPMgL4b08UhOrp9ZdkaPeMr99O1E,4813
unicode_fol_kit/fol/_linear_nodes.py,sha256=ni3AghvUio8pBe4moXYBvtNhD5avFW7YLH7QwWjNYSU,14764
unicode_fol_kit/fol/_modal_nodes.py,sha256=XBNsHFz1Xmr1th5yikQ40YqfwiKUH-tQISL8YbqTwDI,50495
unicode_fol_kit/fol/_msfl_nodes.py,sha256=4bTYT4RrRaeDb_ktbxmzSiszEHpvUFY1JRhFcoCcW48,74908
unicode_fol_kit/fol/_so_nodes.py,sha256=F5FiE83QpbZr2yQbPOKy864PXmfwosxM1ORtuoZXMLE,7907
unicode_fol_kit/fol/_symbol_names.py,sha256=2NkY_OJQtOdrU6xngZTZt9IOsSjprOKnNq8BViJwKqk,3451
unicode_fol_kit/fol/_team_nodes.py,sha256=2zHEJS4QMJcV9hEAufJYVw0U_iWhJsFiV2UX4P70Gg8,7941
unicode_fol_kit/fol/casl_export.py,sha256=gdIN8hkm_EDRO4uJ2yR-o7ycrSIkSDu17cleAcXqvWg,41316
unicode_fol_kit/fol/casl_import.py,sha256=DJBsHJ1WeCzJHNP6VCidptjh4Om7GXTOSrEzJys-8SM,38565
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=4zIDoygVJ3an1Y6cANPTK_Vd4nXvYi3LgEemjwsFKb4,19143
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=wRJ9tKw-Rk-JMPInMrYtga4-J4mQW_E_upYm_zt3DaM,16682
unicode_fol_kit/fol/modal_translation.py,sha256=MFfusu_Nq2iv2v0P48QynBANEUYRLrVoV5BzVTpkPEo,19582
unicode_fol_kit/fol/msflparser.py,sha256=HbkGxLz0VUjd5ThxzLseNDCn_Mwb5pNoS-tTu9FE8Wg,45336
unicode_fol_kit/fol/naming.py,sha256=PqLUYNCNfMslxXer5JWZKzJWDOv1s0C5HanKpym71Ng,16643
unicode_fol_kit/fol/nodes.py,sha256=Xyg6FrDDPPL9cP_ZjpYG8nVVoR2nUd-w378upMftG-Q,5254
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_input.py,sha256=9Dx8PgKGOCpZybQHpzQqr7sgoDznphx6-wwnu11yB1w,20388
unicode_fol_kit/fol/prover9_input.py,sha256=M9-o556QNw6oIDANi-fk4jsL0bt9QNIW_LVikVFl6SA,11149
unicode_fol_kit/fol/qml.py,sha256=EiiUgaxLHkCpIMdkbJD7LgEyb_NHy0w8I5oysdAyMDU,64758
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=0dlb4m28JIpS6kpuxkvnYQhpTnGQu48Gnah8tBH3Y0k,44383
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=YfkhEzyA2HpFtuXPu1H0qBQ_M9hL6bfR2MsXI5GvELk,18581
unicode_fol_kit/fol/tptp_repair.py,sha256=RDqA9DZYlJRKvN-QcgPvhlhpmqWsn8c8fLY17joqkvA,44031
unicode_fol_kit/fol/unification.py,sha256=oc2VPug3ww6spsSr6vhUs-pSO1hDJLFliEspHJ0TmvA,6457
unicode_fol_kit/fol/verbalize.py,sha256=yAH_nmD2kPhRfxByaBLvah3EKqMkH2863P6AYlHGwzw,11011
unicode_fol_kit/fol/grammars/terminals.lark,sha256=6k2j6WFyDaQlWg7ofJAUCd70k-oxhnjA8cYtrxseiEk,662
unicode_fol_kit/hets/__init__.py,sha256=Ny48YTqwtFVXlmL2levjEZLjYEU8jEgP3tnMPjP04Ck,4627
unicode_fol_kit/hets/bridge.py,sha256=tQp6Cwmfx4d7vNgXGEBKlO4kNjmL2IGpYF_1DsRBqtw,5845
unicode_fol_kit/hets/client.py,sha256=irNrVC0ZhaRhixFQXgGZaL9-Mk1Ij1FNoAdWVPV-qiA,18723
unicode_fol_kit/hets/docker.py,sha256=mA0SCAElSsQmUS13LN1kBqdwpuDvIGl15GnkLUecFjE,15619
unicode_fol_kit/hets/dol.py,sha256=O3I5e4bLO6AvTSQWGdNSSH8hYNcu1sf6DsbOIq7cGIo,13244
unicode_fol_kit/hol/__init__.py,sha256=7fbjv9OfL-Ytd4oTWeD1rr6RtlKtUAu4bfJ-Dm9mrhw,5841
unicode_fol_kit/hol/classical.py,sha256=h4RSPveuBfLpQ9wcZtZagbxCikaSdV720dJHeftpQk4,25904
unicode_fol_kit/hol/intuitionistic.py,sha256=9qyR88J9gAbo0IkxXvPDv1W93tZV63Oxl7dTKb0SmeU,19070
unicode_fol_kit/hol/isabelle_conditional.py,sha256=CSvrDYf8clEV5vXu81WNELqy6Poavx5N8ZlJGDNR2HU,17898
unicode_fol_kit/hol/isabelle_modal.py,sha256=zkR2ljWc7muXHJ4b45wcn3Y8ULcomkDdPmskzDaKKiw,77370
unicode_fol_kit/hol/isabelle_relevant.py,sha256=N4x4IpTrkbOVrBQw7vj68cgF0O8kHY4XAuEDAlsV0ds,11927
unicode_fol_kit/hol/isabelle_runner.py,sha256=fM9bEMbMORUz4_u1C1Y9IFwt65hxE5o7UzkzWO1awjI,47890
unicode_fol_kit/hol/isabelle_substructural.py,sha256=_0lrBtNEfJN7N0H_YYF2TxRvKaslAikvFOXe6a19eIc,43501
unicode_fol_kit/hol/manyvalued.py,sha256=dwwR-A-BvsbklMJ52KlWDfWPv3MjAlkls-kl9qQXU-k,41699
unicode_fol_kit/hol/secondorder.py,sha256=uAZUuh_uu1knerwJRph-FBfmY48wtXsv_GjBbzNhgNo,28721
unicode_fol_kit/hol/thf_modal.py,sha256=MPfL0s0kW2uQsMkgufvmZv4IEXKSSOOCgqOG3jIOWuY,41803
unicode_fol_kit/hol/deepshallow/__init__.py,sha256=w-1yJx23hBUP3hEZL8W9wb3urmvgBJdFgda4hULFg_0,1567
unicode_fol_kit/hol/deepshallow/_common.py,sha256=Fm6F0fxzucwCM_qyqlOVV36Uy6Z7vg-2Mr8Xkg3Pa3Q,8080
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/relevant.py,sha256=Fjg8AixBuyITv4tDNu3kUg_IIE78DO95-bxYPfPAz3I,11231
unicode_fol_kit/ilp/__init__.py,sha256=EwvqeJkBtDvDh04Ncr4UJT5ZYliUGq1nyZ-uaO73CfQ,4101
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=-3scPJsawG0_UlWoqI0RXuhWvuR7xK6HNMVEyLM2r1w,26752
unicode_fol_kit/mcp/__init__.py,sha256=H7GMKJoT7jReCTvjTlvbgNQJcli1nYSkNoy1QcdkD4g,1338
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=mDIu1qgA1TdNTyX5yxYD5cEYg6P1KPpjuO2TLyfIMDc,42601
unicode_fol_kit/mcp/syntax_spec.py,sha256=nLlshu8vZ8qc2VGxuzvzxKhysQlnM2cPnYe92vL2_gw,26413
unicode_fol_kit/prob/__init__.py,sha256=xpttH4id_EBBJT-vfD3q1u4vOg4EU_8HiqM1aBa25M4,3062
unicode_fol_kit/prob/distribution.py,sha256=_VyPj3ohMY5PUJjDvgGYbu45-H-zfM10kcSDEOv8Xx0,23358
unicode_fol_kit/prob/nilsson.py,sha256=fm1Xnl5Kk1OD8cbuQ15X7yaKWgOd6EcJaBcJYe8ReZ4,14932
unicode_fol_kit/semantics/__init__.py,sha256=Nvr84UKZTVR0esmiAA5ZLSa1wwxi191P_euIeSE7MRE,5562
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/action_models.py,sha256=lXYlj0wL0jAgR1N8NGZSPmU-rquIdDr_ldBT42AH4jI,19894
unicode_fol_kit/semantics/asp_models.py,sha256=_QyLoC_ISlg5mE-gVDKdihQzNHWYc1nKJTYeOGJTsSo,35784
unicode_fol_kit/semantics/conditional.py,sha256=TB4Lg87TNldd1zjFJGYO0HkEuPoP53HanUGOEJQr_eg,27716
unicode_fol_kit/semantics/dynamic_epistemic.py,sha256=sXR-lockLjPPi4akuQSIWJON6anzBqW5NRsr6k4V1XE,4830
unicode_fol_kit/semantics/free_logic.py,sha256=e30Jrc_DTupxOBKENO-7griElxq_ssByaQl6J4nwL1A,33427
unicode_fol_kit/semantics/fuzzy.py,sha256=Px4isTBaEj8VU2FJ4DATZ2oMK1DkEEDKsn5cu434IE0,14593
unicode_fol_kit/semantics/intuitionistic.py,sha256=SrpkCA_j2ffqQHSniZ6FUzS1jNGjg-hulNnshDY6NJM,15595
unicode_fol_kit/semantics/kripke.py,sha256=QBrFCwqSM-nctgM5nMTvpaw7M_KY9OUGQ1df6kR5Aek,24609
unicode_fol_kit/semantics/manyvalued.py,sha256=qFEOttRStf4_J6XES8DU3yYZq1hVBuh2ri1w_wh6jqw,20589
unicode_fol_kit/semantics/matrix.py,sha256=AjRYBhgfs2pKLoCSpbzxW2SP9yG_bVCObbk8cy-_f_4,11526
unicode_fol_kit/semantics/model_eval.py,sha256=nA_vRiOH6eYIX1tvT3gL0VWQRop3RGA_2l_JEJLn_vQ,49350
unicode_fol_kit/semantics/modelfinder.py,sha256=8TqknUnzP8QlLvWPnzuAxRH7x59VzBLvL3J-yrHA8zg,14410
unicode_fol_kit/semantics/nonmonotonic.py,sha256=Ug5gm-SF-RWT-us4gf2fGLHJ5uDflGoaZ0nm0ggpKJg,15862
unicode_fol_kit/semantics/relevant.py,sha256=dfFFnX5zGMitxeYGV88YtLAANyY17oQTxz5Zi_3eoI8,15932
unicode_fol_kit/semantics/secondorder.py,sha256=5qmdx5AVlbg6p7ClqXRb51Sko0DQtgsUbyj1Ch1tfkw,17212
unicode_fol_kit/semantics/structures.py,sha256=MS8FjW5bhoSQpPxGPSB569028DhifyYptcjuA2G17bQ,14061
unicode_fol_kit/semantics/tarski.py,sha256=zP321diCy3mIPC-rQcBmaTuUDnu8vxRXi9-aJGy2H_8,19965
unicode_fol_kit/semantics/team.py,sha256=8PGSHPEhlzABkBOuECpN5-agA7VMxHtmzy51dXFzzE4,15111
unicode_fol_kit/semantics/team_translation.py,sha256=pexqRnqaeNicMSpYODYSv8F6biBkVRcVCiZZSPVv5R8,19686
unicode_fol_kit/semantics/tnorm.py,sha256=wga1lwrmuSJKewh2ur2GzTmm99U5DLBgX2I5CKKn_ho,3091
unicode_fol_kit/semantics/truthtable.py,sha256=YiQQOJl4VfeZTxCBTXSIvnRm_jxchLvzPu4mpYWIMC8,6091
unicode_fol_kit-0.25.0.dist-info/METADATA,sha256=aTggff0zvHbbIqoXJAbXSoMBsxs3q0FtFcUrJOgs4s8,17677
unicode_fol_kit-0.25.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
unicode_fol_kit-0.25.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.25.0.dist-info/RECORD,,
