logicalpy/__init__.py,sha256=U3xuX5g-xsj7m5kqmVvDYerHocX_clcD1QOn6j7n2_U,217
logicalpy/base.py,sha256=DaqCZBVmEbenvIp0Tmn9vLwvEF1tcZPfr_g_z8wPwLY,15326
logicalpy/hilbert.py,sha256=j0Hy-dZzg8bMvY9zOq1yz9OW3H8ch2FRIRRKPAtFm8w,7500
logicalpy/normal_forms.py,sha256=OJfucpBAl7sYPoIZsbwH9igIJ9tT-R4d_0MaLgdDbNc,6862
logicalpy/resolution.py,sha256=1aDGbeg5FOseAJzrM8GAwI2jAvSge40OxPC0nRRBSP4,8481
logicalpy/semantics.py,sha256=yJq6l3egHHWPr5Sijq5qcpHQhZ97kWuJ8ZNu9NgAu0Q,11081
logicalpy-1.2.1.dist-info/METADATA,sha256=_vSfz98TPzVcuUuYFXCCJtpPCcf_cgaOwa6C_KwmtyY,2871
logicalpy-1.2.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
logicalpy-1.2.1.dist-info/licenses/LICENSE,sha256=AJbUQ37_J46p0szZk-_ady3Be_ljtfB3mq1EItWSS7g,1087
logicalpy-1.2.1.dist-info/RECORD,,
