tptp_lark_parser/__init__.py,sha256=dun4rvlIb2wBuKB_l2d6bPymLlpOjg1bQ280sOa54Fw,731
tptp_lark_parser/cnf_parser.py,sha256=rKHfIimGDYH9rPGO-Wapa13le_oyZFkboCM72D7aahY,14958
tptp_lark_parser/grammar.py,sha256=RKF1Yv8L3ROPWSmIrC7XoINdJ6wcmboLRg6gJRaHB2E,3135
tptp_lark_parser/parse_tptp.py,sha256=oDaQbxgKabdSLfi0mVi5BsDanxNMBtatXzVfPXow63s,3624
tptp_lark_parser/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
tptp_lark_parser/resources/TPTP-mock/Axioms/TST001-0.ax,sha256=BS-5qW6vRZcoCqLnB6H_t03r6svB3HS9b-WbyvzEwGk,150
tptp_lark_parser/resources/TPTP-mock/Problems/TST/TST001-1.p,sha256=LcQF61Psm2qZ8RHaFW2zMYn3tvPcl57LZD06ae8GN3M,320
tptp_lark_parser/resources/TPTP.bnf,sha256=Jn4mhHWJ-K4hXhwDchy53LAnJm9EW8OihiZ-wufpi2A,41569
tptp_lark_parser/resources/TPTP.lark,sha256=x_oVh_dt5VT0yhPPSiZYkBN3C0Nv4k5f5QoBpDktndQ,10582
tptp_lark_parser/resources/tptp_tokens.json,sha256=i0loBH_Uzghy4iGWf4zhBqV2BrnoDIc1JZPvERURaiI,105351
tptp_lark_parser/tptp_parser.py,sha256=pJD47dsPEdqJa_LloNLszT7XI09pDXjKiRvLUus41cI,5065
tptp_lark_parser-0.1.1.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
tptp_lark_parser-0.1.1.dist-info/WHEEL,sha256=vxFmldFsRN_Hx10GDvsdv1wroKq8r5Lzvjp6GZ4OO8c,88
tptp_lark_parser-0.1.1.dist-info/METADATA,sha256=yMPBmVfvFRv5qQw1DqKO8YcQqSDLf0bAeEKtUh3NvxU,5727
tptp_lark_parser-0.1.1.dist-info/RECORD,,
