formalgeo/__init__.py,sha256=QbO4_vQQlHpbwOAki2HXvUMHIVuqGU-VhY_F5sbth8A,253
formalgeo/core/__init__.py,sha256=-fKSDIlT4tmxFsgMYCXM19kTjyF_nXn6uMS7PEePLT0,532
formalgeo/core/engine.py,sha256=kvgYr9FIj6-lbM1lqGtG2gtErcdrxnJLrugH4ujyQlI,38259
formalgeo/data/__init__.py,sha256=BfVmeeDO7UK7O0QKyhMOH0xhj98gUidZ1cMHVKP0t5s,425
formalgeo/data/data.py,sha256=I8V3BI4atCgh8yZabu3WzBGOkhFBG0s0TJOLkFrtglk,13053
formalgeo/parse/__init__.py,sha256=aVPveTtcf-ARnrWYIhfyYtOPH0pGRmCLQ0pd8m7wc2w,980
formalgeo/parse/basic.py,sha256=3YmUOD5PIZdm9o78xVAx2zxFU4Rpzlts2b4wvQKcT8w,8491
formalgeo/parse/inverse_parse_m2f.py,sha256=nUzljKx_HS8KMCcCn-RfglVlVB6OwT8E5w1oEAcW3mE,5907
formalgeo/parse/parse_cdl.py,sha256=3Z3yuGytm9rc5_NXGqJ2IdjahdVss_7HtTmQiXR472w,4333
formalgeo/parse/parse_pgdl.py,sha256=sAoDrEOU3lWEk4ytHAsPQm7Hm6OOrM9U4aSvL_J-6rE,4935
formalgeo/parse/parse_tgdl.py,sha256=zunx9NOFYDf9Zwcm0Ahf_0V6yyvf-PuzItPASkq4OEc,10797
formalgeo/problem/__init__.py,sha256=e8iLyW0Js6PTNdl1NBQy5bGXHsCfOlRx_mWEktT9rRs,439
formalgeo/problem/condition.py,sha256=PlMZMTRvGW0N1C5shgboIWKr8_LkL6ATShrGLdPWsTU,7952
formalgeo/problem/problem.py,sha256=kUtdaTNx4fHnS5eFPP-oKYQ2dL8hiT9lFXVGp6AiVQ4,34544
formalgeo/solver/__init__.py,sha256=ZS-STarYFYBxaBZi69So1YtWvLH8n8dpR-oqfW7BqjE,666
formalgeo/solver/backward_search.py,sha256=1aqoRtEheXXl2t9wdn5ZwD1o8zjce_6Vk5PMd2XcuJw,28724
formalgeo/solver/forward_search.py,sha256=NC2AMtb-_fmnJ4xkPP0VW_rN9e8_oqLWmnKOvyunNIY,19434
formalgeo/solver/interactive.py,sha256=cRZKsFv43hbCkPXUqfJIpsTAkKje8FsgYmSJkaRtQ7w,12057
formalgeo/tools/__init__.py,sha256=TmdHwUVuRi5-2lXUDOXhmOOXlEgH6QQfbomH-8Vkk70,757
formalgeo/tools/output.py,sha256=HT4IuHFMvNUckQY86Y6gJ66sNx-oYx2kVK4DEEJUIAw,13364
formalgeo/tools/utils.py,sha256=gEugc-e3Dn8DJqENSKekkAL-fIb7f3jUKdfPFHj6VFE,1396
FormalGeo-0.0.1.dist-info/LICENSE,sha256=uJOlp-a02-_SqNpRnKB0cBy1b4Zo-xrS31qUWnLdTvw,2825
FormalGeo-0.0.1.dist-info/METADATA,sha256=oUELp-r8K774XAOz6yxvxSqhjCW989XFo5y4QsAzAbE,6654
FormalGeo-0.0.1.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
FormalGeo-0.0.1.dist-info/top_level.txt,sha256=7m7bOCbT_yZ6vz7O5BH2uEqIJ8UXhWvL3Q_dS0oJ_40,10
FormalGeo-0.0.1.dist-info/RECORD,,
