prop_logic_kernel/__init__.py,sha256=zmP2TRnzKPjZJ1eiBcT-cRInsji6FW-OVD3FafQFCc4,23
prop_logic_kernel/prop.py,sha256=if_bZh-ZTQxnyLmGp34VpEty7MliXnyr2zkyjiTlFZY,1912
prop_logic_kernel/tactics.py,sha256=W4DD63DPbEdZ3HZ3cxDatNcxsrdQCLwNeOZ3TROL5P0,101
prop_logic_kernel-0.1.22.dist-info/METADATA,sha256=P7GvDE0NrpuBHNiZCUumu8Jzb4Jhxf4IZDDb-aC5nrI,222
prop_logic_kernel-0.1.22.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
prop_logic_kernel-0.1.22.dist-info/RECORD,,
