unicode_fol_kit/__init__.py,sha256=jmuivpMq0oIa8mCWIQIeH--BrxuX0XV7jKntxo2yYlk,18359
unicode_fol_kit/__main__.py,sha256=kVarAdCqq1Da9lVT5GZ8nzJQVFnIjiEBuqM-woYiPiQ,19647
unicode_fol_kit/api.py,sha256=D2A-ZjATkdfUc1q5cThk4KXRtfPzq0Z4zG4GaPUPuMk,36446
unicode_fol_kit/comorphism.py,sha256=88Py0W3_qMqr2bjXgenbXBqra8c-VvFr_NuDsEQn1Kw,9641
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=WP2dnZGQdpfpZ4vtcnVE3Tor5vSgiXbpqYQKNQyGc_4,18055
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=35TR-321nJVQO71oRbP_Aeo5ZHvRtVre6nSuqNT9TMk,45411
unicode_fol_kit/atp/__init__.py,sha256=uN0hfRlxZXqTuYC8g3XPde-sHLAUFWO-uGqn0QKDlRk,7508
unicode_fol_kit/atp/_ascii_names.py,sha256=HoRKOKkM5HUjnV8YFkuqVmokV3ybSuUaCcOXr0U9gds,5675
unicode_fol_kit/atp/_html.py,sha256=uq4TKGIBKSmJFz4NtcBOFLy64MRXJsiyQhdcJLsOC48,3729
unicode_fol_kit/atp/_tff_problem.py,sha256=yDJZRBUF2iVMUsaHuPzo9EvE5v4eu8Ca9gdajxypUKI,26287
unicode_fol_kit/atp/_tptp_problem.py,sha256=3jZ0sYhe7atCwE7UTrST03wWZEWHhxNtZBUnAPrOYPY,29046
unicode_fol_kit/atp/clingo_backend.py,sha256=y5oSv5LwvYGMbzu6XrPmY2e6v5HgkS9K1KGvP9J9pbA,57023
unicode_fol_kit/atp/cvc5_backend.py,sha256=A37P34jeJbVdlfuobISIx9j7cgRYe4kPVIYcxzScWe8,36158
unicode_fol_kit/atp/eprover_backend.py,sha256=8juG2qKGzE3KVEKxhE2hYQC2hPjERJdpr9ZghMi-7JI,24633
unicode_fol_kit/atp/finite_domain.py,sha256=Zw6UlCrF6JYNxF8W-KjJ57kvcA1BbEivbFOhpsMtZFU,53853
unicode_fol_kit/atp/fitch.py,sha256=Pnibhl994-qjZFLMMEzQWPA2IeUdK5wbVxjsmqrgjQU,66501
unicode_fol_kit/atp/fitch_search.py,sha256=_YH6LWSGIalPzu6LIn13QC8O_FeZ9lXt7OaWcM-vjNM,22839
unicode_fol_kit/atp/hets_backend.py,sha256=HR31FtfbzRf8mS2sI37-YdCLV2MPkbQhOW_0oVQcY_A,14814
unicode_fol_kit/atp/hybrid_down.py,sha256=xF9wPe_zcwUWQC9PI7NwjPXbHs8lysQss9DDUXS4k20,6194
unicode_fol_kit/atp/incremental.py,sha256=m-21VMkE4JrM76lrlahB_3y3JhUh8EPl3Y3d7uCojAM,11623
unicode_fol_kit/atp/kripke_enum.py,sha256=3s2dp1cTnzH1adi2auvI8B2VcoPQjUR9Y9S418B53Zk,28104
unicode_fol_kit/atp/lambek.py,sha256=wAw2iZr48bXc-V5ky2ud7QyizPVNaozRzCctAL0aU0A,16566
unicode_fol_kit/atp/leo3_backend.py,sha256=vWhKkeP7NHYJrp_EKVk4ufXPg0vZwtK1Govv9YvEUMo,17155
unicode_fol_kit/atp/linear.py,sha256=ruR1MJYpBc7QHyWQ2agoUXBnkZseVfbjns6vUCkK9n4,28182
unicode_fol_kit/atp/lj.py,sha256=Jy2jj6rvphJwWD6S22_4svlTlX4WG706XuWpaJpXzFE,29132
unicode_fol_kit/atp/logic_backends.py,sha256=lyv-J-cGwHkGso-2Tm04-4oNMlFhJ7Aa6tJ50zN3QgA,22046
unicode_fol_kit/atp/ltl_tableau.py,sha256=lO-C40iSlRNM4X3D5YN-NlSWIDdG8L2Xuyc_-Ou4c1Q,41478
unicode_fol_kit/atp/minizinc_backend.py,sha256=b2ZfZIf25EjBzxarYQ44ptvtuLBXOrGC5vSiGtIaAKk,58808
unicode_fol_kit/atp/modal_tableau.py,sha256=wJ7FO7o-3L9k1QwTPgjdvOHvhHUGOnfVcU2AjIl1Wak,46432
unicode_fol_kit/atp/nanocop_backend.py,sha256=E9ddD-HpmJ2EfMBXinCYZBRKSdaIVm4CsHIhNJ89BgE,19169
unicode_fol_kit/atp/portfolio.py,sha256=EHw4vePYdbyE0w7yG2CLHnTNKVcuYMeX5h8L_p0wyBs,17361
unicode_fol_kit/atp/protocol.py,sha256=Cdn4mBynjmKx3w3kkgrsYqiUvtRXi-f3zHQbKH2rfqE,50051
unicode_fol_kit/atp/prover9_entailment.py,sha256=NWrm884RzwUGJRjzrxCjj3KKGLih8cUh8Gwbm9vxcxw,14874
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=T_c5XCHikyyytdpSjOdfMS_E27-aVWCeSZdU1cG45HU,44395
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=_YlKQLSFnjQodz1owHYy_r-VE7MznLdyXTVTiAt_vis,42291
unicode_fol_kit/atp/tptp_tff.py,sha256=dbGp-9emEAFOBYOVnzrTCyOBIV4UM6JgDHUnqkDq4Dw,39787
unicode_fol_kit/atp/tstp.py,sha256=5OSnQ42EBGDrZ3LZoGoSObfQeO1s1LbYsAaIzRSx0NQ,57643
unicode_fol_kit/atp/tstp_check.py,sha256=bQWZ9U9tUV88thymJMQFYxs5g_RIpfANSjO_oBQ4Gi0,50702
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=hTtmq1WeBEYKJcxVcHIdaFgD9gQux3pW5_WUEQmL4-g,20804
unicode_fol_kit/atp/z3_arith.py,sha256=KZZQjyAHky4BtvAviihvCoWKOpYlhHy1reikQQblxKI,14062
unicode_fol_kit/atp/z3_equivalence.py,sha256=dTqGxpkVOQrKUPNqzIjOkpz8s-feCH_1GYiIk2IR5ZY,1238
unicode_fol_kit/atp/z3_fuzzy.py,sha256=emRNimbTqcCk_x6Gg0bpPH9MSawL6ZOl6Z9eGWg4Ir4,12503
unicode_fol_kit/atp/z3_input.py,sha256=_G9ziDbc-ao64ZmNBq0Jz5JcTNgQ6MfJuXH0vsysCEY,11897
unicode_fol_kit/atp/z3_models.py,sha256=n044EaNleqRlPj3gZbi3pghfovkPGlJSvtLMHXs3yv8,4438
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=6Q6H2Y4DcnSyNd_Hdu9U_RKDTcnmuO0hnsIV0dFis-A,9243
unicode_fol_kit/dl/classification.py,sha256=TPLJ0FhYs7wUb6vbWGqi--kLIhLtdgaCXEOI2KSO69Q,7797
unicode_fol_kit/dl/concepts.py,sha256=mxd9_-7mnf1axGuMy8cVwcnXsdqAmsBVf6EBfAs1aU0,15053
unicode_fol_kit/dl/owl_functional.py,sha256=pTa_rYS6Dnkhz5pRF9u4cj_ZHOsUd9li9CLEpbrfYto,47676
unicode_fol_kit/dl/owl_manchester.py,sha256=NBPTtql8nO3caRXbXMeMBj1MgNW6gk88XDqROZyd7fE,30201
unicode_fol_kit/dl/owl_reasoner.py,sha256=WDwabAHh0aQi1YqFwz6JGa34qPL5WwMw1b90CG4K-_A,24356
unicode_fol_kit/dl/parser.py,sha256=s5RMTTTzciFP0XWsy32eQWmnae9mBMOExdPeft9Q-G4,10281
unicode_fol_kit/dl/tableau.py,sha256=9pMENEZrqB-jrwhUoDauAkDyVDP_VovwlQGWAywHbOM,55491
unicode_fol_kit/dl/translate.py,sha256=jrIsTkDZxaHJuU8B9vlgpy4tUTg6ZFT4yvXoHAmUITs,24567
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=p_0iOk6V_wDsbb4sE0H8DvLXGjrKc5X_uIEJh3MRY1M,48683
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=VtjTdmcvCvkZ6AI70ZtKR_Mlb8WmxyWPSF9QSQ4VAgg,22952
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=Ixa-hML9hXODNzoGXY9I5_Idf-zA2Uxbb_SNZtoAeaA,37095
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=090lhw_JsBdIeUkIbvfdtNmu-Ioxkt3k-aPG1tAqMzM,11041
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=uvd918yctjelENH10NqK4hgAIruZiFWemT_15apGcGM,29149
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=8-P6wtAS60FQdlx5pEdxQyNeE6wpK6ZOEdXFnxjdN8I,7107
unicode_fol_kit/fol/_fol_nodes.py,sha256=I_wWSnv8HTP28n8dMOx3ELMecNKTcCL4pfNZvTlnXd4,97961
unicode_fol_kit/fol/_ho_nodes.py,sha256=_ey8HNwKehEAwiVDxpi8iZGwyj5TOI7i4tipamtBJWk,17759
unicode_fol_kit/fol/_hybrid_nodes.py,sha256=RQQrSB_5ingp2vN0roOQlCQVcIMccJCW3OzNHKrL6Vg,14791
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=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=QwFLPXr_Seef4tn1y0Wsms7AhwBB3NwsspIYcVNVawA,82747
unicode_fol_kit/fol/_so_nodes.py,sha256=AW_BEiORV2D1nS0vSC_SlV2cuYLQnJCM1S37z9o2_yE,8423
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=MGqGozI7L5f_7veCSyrLs-zvPApGgcFLcyP-JU2mYLI,45346
unicode_fol_kit/fol/casl_import.py,sha256=ynSyYU96qldRGJjBP09ceRtzQwKLulWXQ83bMUFNa-o,41727
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/frames.py,sha256=A_eOiQcZdIJKdFjVdR0fqIOT2Zd8LxDa1H-4jXrMQPo,28815
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=aLsVLKpJ-4BSL_cDqQltI05LIXhp9Vj_v62DL78dLkM,35633
unicode_fol_kit/fol/msflparser.py,sha256=A8FbgkXZOErutHh1Aylic7Bu6hrAlcgT2-7Izc3jmaI,55299
unicode_fol_kit/fol/naming.py,sha256=PqLUYNCNfMslxXer5JWZKzJWDOv1s0C5HanKpym71Ng,16643
unicode_fol_kit/fol/nodes.py,sha256=sE-vxlKZbZBQ_Lz3GOAxZqr0D5ecYyun0Iji8LnDBz0,11267
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=gDb5qBiWN8ToymbfsIbAAKOg5BMtqMnODcJlLj0JKEg,28500
unicode_fol_kit/fol/prolog_input.py,sha256=9Dx8PgKGOCpZybQHpzQqr7sgoDznphx6-wwnu11yB1w,20388
unicode_fol_kit/fol/prover9_input.py,sha256=jlXB_1qbUXEnQQeF2_EoxFBIwRktkPQUN-J19BGzgAk,33293
unicode_fol_kit/fol/qml.py,sha256=emMicrbiS0un8stEsJQdxqEQNXtbWALY2r3AkBd3wEA,79334
unicode_fol_kit/fol/qmltp_input.py,sha256=ehYJakyDA7vjmXn9b5-uhVZ90y8DR3z7Qh9GcQW5on0,23887
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=YMacxOdguBcaGB4Bq33PADDzbnWVZtv_qeT7csiY1CE,61814
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=jNEjDC3_vUkX0jh6zIIi-PxnK6Pb2Gau7rxXdRO3up0,53357
unicode_fol_kit/fol/tptp_repair.py,sha256=AkhfommCkMMr4u5_5WLvR6YbjySf_GRo2VyN__4XpT8,45346
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=9SRLY3OtSBLiN8YLrcCL9LQIwoq-VmoATN8bN6VkFBI,5659
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=THYINNy82PNqp1I1Xk5_idg0L0HLG7Wam9sn4i0gy3M,20435
unicode_fol_kit/hets/dol.py,sha256=xSDglzlt6uGjqfRa0wJc4s0Abdkn7QLJftUmA7r5_Cw,38888
unicode_fol_kit/hets/owl_backend.py,sha256=Pfkmi4OwWe6YXowC50eyLGOjED8sjyR-60Ew86UzNRA,30479
unicode_fol_kit/hol/__init__.py,sha256=JHamw9IwmT5-N2qY2buOUCVi31SGO4Seof5gASOhJu8,8131
unicode_fol_kit/hol/_ho_common.py,sha256=MHTLdESu_DX4AWnljFArYlFqbRuVjWUrq1A96stEQHE,8448
unicode_fol_kit/hol/classical.py,sha256=-Ab4BIUOhlK6d73qD8L5ZRkr1vc7d4a2iSKLc1O0Lyw,31983
unicode_fol_kit/hol/free.py,sha256=EsksJ8tNdM0LgKwl9WR1BwozD24EneiAvjEWfLbJpw0,34997
unicode_fol_kit/hol/goedel.py,sha256=c2XPWo9UWMzCwL6HTGUR9ERkJfSXA_wxL3SXqfbpOAE,15250
unicode_fol_kit/hol/ho_modal.py,sha256=PCzQIq7vTslpvVwhZObuFYIp6L6YRQoNciKcinNzEuc,75934
unicode_fol_kit/hol/intuitionistic.py,sha256=9qyR88J9gAbo0IkxXvPDv1W93tZV63Oxl7dTKb0SmeU,19070
unicode_fol_kit/hol/isabelle_conditional.py,sha256=90aBmvYnYRitH0oWbYz8Ix3wjaPp8yJhKuVSoEg4lRs,29944
unicode_fol_kit/hol/isabelle_modal.py,sha256=uq_jiqbrdE6t2MH83r9uElEo3jBbTgfsYgP22wPz-v8,84447
unicode_fol_kit/hol/isabelle_relevant.py,sha256=MYfBJ_W_jMnxj6gC6Nnp3yBNUAQXEk4qjFPRpFLkBLI,22282
unicode_fol_kit/hol/isabelle_runner.py,sha256=kdvO_kkRp-krXoJa9cq0wb5Ac_Ow2865NY1Ha8qaEq4,53269
unicode_fol_kit/hol/isabelle_substructural.py,sha256=_0lrBtNEfJN7N0H_YYF2TxRvKaslAikvFOXe6a19eIc,43501
unicode_fol_kit/hol/lean.py,sha256=OvuHDINnwSDUC3q4ZjkEXYdmCXGQSk53uYp93YTiWl4,44485
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=0Gmz35mCzCTHPnREEyG5scMIgXmYJIAjTnI7-YrwqHI,45487
unicode_fol_kit/hol/thirdorder.py,sha256=jGMa8ddgFvhiOMZ0Isk-2dWANk3urO44BtKcGIhGVOQ,14679
unicode_fol_kit/hol/deepshallow/__init__.py,sha256=HLUm9uOVjls_S8SVZYMO_Oq8aTyqc6TmchIDolrClCc,2292
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/qml.py,sha256=QGG4jsOmaYmbxXQ1cLHwx1VwXiMuV-nuzGeEEZdh2Z0,22194
unicode_fol_kit/hol/deepshallow/relevant.py,sha256=Fjg8AixBuyITv4tDNu3kUg_IIE78DO95-bxYPfPAz3I,11231
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=UHknuECV_3yWrv8ZxnSMdCoTj_0gK3Etw-cCh30qrbU,70005
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=NSVkr8oas8joZLxjMkkS3torKgu60py8likj9sIQIAo,26129
unicode_fol_kit/prob/distribution.py,sha256=BCeNl6tySKgGNfc89wKnffG04p6RKYlwZt9ExOO-K0c,30301
unicode_fol_kit/prob/nilsson.py,sha256=OcnTovZHAbCt4UcSrGpsjHmnlDgh-QDlZ8fAfI4jwF4,21883
unicode_fol_kit/semantics/__init__.py,sha256=4FzAqzrG7cAHd_EzOln1qfmw_wquqpPuHL6NiL8hPeg,6790
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/action_models.py,sha256=dfhOioD6uAYJe2r24WEZz9RHanzrpqnCRr0be9DrU74,25886
unicode_fol_kit/semantics/asp_models.py,sha256=G_7di3Sx2Fr5BXYlFWzmYoRlTNluYhu26g7geLluAD4,60721
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=NW-ALH1ssRmK-w_JzhjI5Br2Fub9gkXBzX-Tsi1_geg,43239
unicode_fol_kit/semantics/fuzzy.py,sha256=Px4isTBaEj8VU2FJ4DATZ2oMK1DkEEDKsn5cu434IE0,14593
unicode_fol_kit/semantics/fuzzy_kripke.py,sha256=KFTqMzVk512IvNDuVyERQ72X1IPzeJECxZ8Q4Ewmkjk,21543
unicode_fol_kit/semantics/intuitionistic.py,sha256=Sg2q26NCe4-f3NWgsLQSojZcwRjf122ZAP8sPUTPftU,21467
unicode_fol_kit/semantics/kripke.py,sha256=-T5eQIInIuPn7FS7JHsVYQQNDPsM_w4XHfOWxKNM768,52391
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=Qr8kaOsXDUibiFuKgTwVZX6HRVHY2Fk5iPrccmP_iO8,60759
unicode_fol_kit/semantics/modelfinder.py,sha256=fNxtjwelDCKkjVwtni9iDhKGY32oCPkStGK3SO10wr0,40347
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=ZcXl3CZq6DcKbTTp3A6yFcrHlXN4W0HpvzBoMRkeRP8,20294
unicode_fol_kit/semantics/structures.py,sha256=Kh9BZGWxJI_zWKgSMQmo9J9omYs92xivdzs96tz8GxY,16604
unicode_fol_kit/semantics/tarski.py,sha256=7OK2FCmckSc2ARl-7_5EP0Kco0qxzHPoqiPkMP8V8jo,23336
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=Bf57AO3HPJyarwC9vLCBDVOE6NViOCiLGD_Al86JvjY,17007
unicode_fol_kit/semantics/tnorm.py,sha256=wga1lwrmuSJKewh2ur2GzTmm99U5DLBgX2I5CKKn_ho,3091
unicode_fol_kit/semantics/truthtable.py,sha256=rl9M3_upm29h-aqKuXDvlL9TZlUdw86R-3vTrEYwh2k,7695
unicode_fol_kit-0.28.0.dist-info/METADATA,sha256=x4S6a9i8rDk_L3kKiY6G7l1oo_RX8TpvRT6zcHHOhEQ,18851
unicode_fol_kit-0.28.0.dist-info/WHEEL,sha256=THafob7ofN-NsuMN7Mg4qZyHaQI7KkD-QlcQatYhXPo,87
unicode_fol_kit-0.28.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.28.0.dist-info/RECORD,,
