LatexToCNF/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
LatexToCNF/__main__.py,sha256=60BVU7y9TWNZv4KEfcnLVZKbRNeubDFgKVCZgEgZOqY,884
LatexToCNF/cnf_builder.py,sha256=bMOvK35vxL_dZdewFBySDUANa46P07BzRfunVbJFPC8,3632
LatexToCNF/formula_validetor.py,sha256=GjfQQaH9sZPp8keu8W8QoBc1mHZ4mo5DWulJIocw7r8,3736
LatexToCNF/latex_parser.py,sha256=Hu039pXqIOnkTWA9qYhUvmL5v8lCV7Hk6bo6mp3iwpM,3319
LatexToCNF-0.1.1.dist-info/LICENSE,sha256=I5JiKYV7bp419hrhV9RVPTTiVVsH24pvW3izR_pB4g8,1069
LatexToCNF-0.1.1.dist-info/METADATA,sha256=IGQC6kRx7ga5LYCERWKLHY0JwW322yMOkx2bd0cTTro,633
LatexToCNF-0.1.1.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
LatexToCNF-0.1.1.dist-info/entry_points.txt,sha256=NjFP1540AFBG0hxadVtbvXCJiMlhKckGinVzqK2TZh4,57
LatexToCNF-0.1.1.dist-info/top_level.txt,sha256=SXkh34aOwto7bFMLsbEDerdRrUs1eA6pRiUtRlmbOQI,11
LatexToCNF-0.1.1.dist-info/RECORD,,
