tptp_lark_parser/__init__.py,sha256=KwwbcDgV3fZan3-b11eFvNKn5R5FIXDo7rzzSE8Zgds,736
tptp_lark_parser/cnf_parser.py,sha256=pzkscXesW-Y2ebfDT62bmPgvKBMJPwujqy_r4JMxqu8,14963
tptp_lark_parser/grammar.py,sha256=ROkGUv1dlHq7cUnRkbPzp8Ne9F1pmf_q4b9h2MALP10,3140
tptp_lark_parser/parse_tptp.py,sha256=T_xgRP4x-AH9PM_-AGiKFecXGVzmimaB9P8EPsk5jkk,3629
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=6nZfWhZ1uXtfC7p71_beuT0s4-akxixYHp_L2AAMHK0,5070
tptp_lark_parser-0.1.2.dist-info/METADATA,sha256=I_SKQwjp1_nCg9EjhVXCbD2Gxy9NdozbOH--qEFtPYA,5733
tptp_lark_parser-0.1.2.dist-info/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
tptp_lark_parser-0.1.2.dist-info/WHEEL,sha256=vVCvjcmxuUltf8cYhJ0sJMRDLr1XsPuxEId8YDzbyCY,88
tptp_lark_parser-0.1.2.dist-info/RECORD,,
