unicode_fol_kit/__init__.py,sha256=nTIGb9uuBtLD1s446WVi-tTyYXez9K7hZ_dxoyBHVqk,3267
unicode_fol_kit/__main__.py,sha256=4nhRcIMFKFVN6cZBO2cl37t8SPGHqOXZDYryRWwjHH8,3125
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/atp/__init__.py,sha256=A0kqpIsqTZbdaYtdR21C3w_5FrWYlPo6gtKHvXim4_M,907
unicode_fol_kit/atp/prover9_entailment.py,sha256=FZNMnmz6ib4A2Xganu8Kr9zqh1hOQL7fMvG_CzZKHZc,2481
unicode_fol_kit/atp/resolution.py,sha256=AxyduWZdCx9p0PwqB_IKQu4wS81AhlzPFAmagZM_XKw,17851
unicode_fol_kit/atp/vampire_entailment.py,sha256=LAjBgNcXKHya6zQetYU0Tkb4Qn56w1nn3dOhV3FQz5A,6618
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=8uHmlAf6-i_fyvH9E7M9OCV7BWBzjOr-e9W38LZHAEI,9637
unicode_fol_kit/atp/z3_models.py,sha256=hStUjBMVzrsn9TElr6R7HLNXKpR8_XgSI9CTmZc6aC0,1794
unicode_fol_kit/eval/__init__.py,sha256=BtQV52Cfs7mh_Eo8L7pLl-TTTILOFXlFSeUWvabRO5c,931
unicode_fol_kit/eval/canonical.py,sha256=xc_MWVvZjdPjO-be_M4jYOXq3HpGMwdZjEQAAfOhAQE,19176
unicode_fol_kit/eval/validate.py,sha256=EFtoAbAfuteeoPbG2v2Mesnn6kqTdAQ9tUL0r3YNMMw,11001
unicode_fol_kit/fol/__init__.py,sha256=BC7DSrMHh6SF4PjOpOujSHHcHx7lZ9R87I-IjpEUTAE,2025
unicode_fol_kit/fol/_fol_nodes.py,sha256=FWC-sYemUBqbp0EXvT0eKuzO8qH1-zfqsrZSIawVO_E,56282
unicode_fol_kit/fol/_modal_nodes.py,sha256=_n8XN6AkxIWu-BSQcnKw8rTpq9uJPxv39f4Ead4MFUg,18805
unicode_fol_kit/fol/_msfl_nodes.py,sha256=ceGryk_aVFxY80mXVz4cUnK72GOSmCWLmA7TOdlE7fk,51654
unicode_fol_kit/fol/_so_nodes.py,sha256=AUbUU1Y_AjrllRRwdTXUqu_AdVMX7CsD2z1phUxGz8M,7958
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=k4dvMTMyGc1Nm148E7e9q6m9Olk3sXl74pLi5j9ZY8c,9118
unicode_fol_kit/fol/modal_translation.py,sha256=c_C_ctoIYhKq7OaDuZ-UbgC7JaT2uX1qVd5RnRwheps,10390
unicode_fol_kit/fol/msflparser.py,sha256=MhysND-SLKZF8OGb2Tdb4bTvYs1IBM0fMYkIQ1NMaaU,14794
unicode_fol_kit/fol/naming.py,sha256=H0Ovp2o-1KZOak4SLwepT0Fqt1wRiQEE7tH0rHYJIaw,6819
unicode_fol_kit/fol/nodes.py,sha256=B3-CkK0s0dN1OltDeJcRFEUdEZot5KUOww8VFySxsfA,1694
unicode_fol_kit/fol/normalforms.py,sha256=vAbnba7US-gvTrg4z-P6YYJKeT91lcNHuURW7IapoY4,16082
unicode_fol_kit/fol/unification.py,sha256=grOyBl0Pt_ulfTc8c9zY68l0RWSOJgGHxycU5mSr2Rk,5577
unicode_fol_kit/fol/grammars/fl.lark,sha256=nIXYvI8NiKkLU26qXdN9RgSyWs5UNSFx42TKLF_sVfA,2056
unicode_fol_kit/fol/grammars/fol.lark,sha256=V1ntUtD6djdv8-1XO-kDjFjxR0gdkIJ3gMx9NKx2FHw,1860
unicode_fol_kit/fol/grammars/modal.lark,sha256=-KemjfTi76CUeKYLvpaRGuXdcGcLEhonPGwOAwZvPNw,3107
unicode_fol_kit/fol/grammars/msfl.lark,sha256=U7eT-wDsiXQs12eYAuqtDVMCv5M1cLS3I9vxUU2866o,2131
unicode_fol_kit/fol/grammars/msfol.lark,sha256=_9LQKEbO5wZ3zJt2qDRUOCnvtqijseH-234PSbjN9YU,1869
unicode_fol_kit/fol/grammars/so.lark,sha256=V2umfmyfMIihXS8B0uJXlT0_JVG0TuT28e2nzkfgaDI,2402
unicode_fol_kit/fol/grammars/terminals.lark,sha256=d5Zez-mCoYYjzMEmpuhXsQRif6xREI5W3ZKzCy9K6g0,240
unicode_fol_kit/semantics/__init__.py,sha256=htyvIcYRVbX_Wkx3GkCzceztzYiiYQNu6gDtvxPyDzE,1580
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/fuzzy.py,sha256=c1wA-ygNYPEzGtSFjRsASEUwLTe3OmS7NvAk6M4DZRg,11480
unicode_fol_kit/semantics/kripke.py,sha256=ig__y1aPXHP7bNKDDrBlOe5GqsQdR-ci7xZqo4f4CAc,13358
unicode_fol_kit/semantics/manyvalued.py,sha256=usi6cZZV7Ym_HeBJp_xXruplU_eM2UO2GJZ52SPN4-4,20313
unicode_fol_kit/semantics/secondorder.py,sha256=CDEsRHdh25aFq5-90IQ1pa4l9CVpWu6OUPyc-oBdj8I,13303
unicode_fol_kit/semantics/tarski.py,sha256=U7K1ZEbW6bMXBB17LL2q1qpsUqiQUW30PH6I33AMGAw,13512
unicode_fol_kit-0.5.1.dist-info/METADATA,sha256=R9NTv9sCt6xxKIGvRafTcknYyEPCZ7FbEgVGCSKb7kQ,62867
unicode_fol_kit-0.5.1.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
unicode_fol_kit-0.5.1.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.5.1.dist-info/RECORD,,
