LatexToCNF/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
LatexToCNF/__main__.py,sha256=R7JhDAktJtRReVMxJYIqWCIU2i8TBxBnvu5ZR0mUHR8,905
LatexToCNF/cnf_builder.py,sha256=LabGcZ9-wbnbRycaKcn_poGen2iGIO6rZ4sKqqEQk4c,4208
LatexToCNF/formula_validetor.py,sha256=GjfQQaH9sZPp8keu8W8QoBc1mHZ4mo5DWulJIocw7r8,3736
LatexToCNF/latex_parser.py,sha256=Hu039pXqIOnkTWA9qYhUvmL5v8lCV7Hk6bo6mp3iwpM,3319
LatexToCNF-0.1.3.dist-info/LICENSE,sha256=I5JiKYV7bp419hrhV9RVPTTiVVsH24pvW3izR_pB4g8,1069
LatexToCNF-0.1.3.dist-info/METADATA,sha256=De_40AO6PLwgFfSDOhUZo4jrxxXbA6jh8Q6xrYRy5g4,3915
LatexToCNF-0.1.3.dist-info/WHEEL,sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA,92
LatexToCNF-0.1.3.dist-info/entry_points.txt,sha256=NjFP1540AFBG0hxadVtbvXCJiMlhKckGinVzqK2TZh4,57
LatexToCNF-0.1.3.dist-info/top_level.txt,sha256=SXkh34aOwto7bFMLsbEDerdRrUs1eA6pRiUtRlmbOQI,11
LatexToCNF-0.1.3.dist-info/RECORD,,
