polyhorn/Coefficient.py,sha256=yAG9L9tMRvpB-tG2fA-8tMsspFcvY-ZMXDkd1mC44XI,10409
polyhorn/Constant.py,sha256=rJOFwZrH43FkMfK4gZcKxQOhsmwFMB_ULWcjTu0Pk6A,2530
polyhorn/Constraint.py,sha256=FSV6bQ7VgjXLWxK4xSb6yaRiSyOhXaxECL-dL7f_mic,5388
polyhorn/Convertor.py,sha256=OODWFh061MOryUFg7QoQyEChbHsdAR1uAXZ2AHGozZ8,5729
polyhorn/DNF.py,sha256=7XB29-41VR54sM7KdJkJSjAh5ToBMeldwcS0BzyS1rA,2954
polyhorn/Farkas.py,sha256=syNYmoNVcGvK5ze9KmfB2JxpOzASMJx4jTvkRHfo62E,4518
polyhorn/Handelman.py,sha256=Tki8UDZmBe8CN63q57gjJPae5nAAtqbbr2O47Pf-s9g,7592
polyhorn/Parser.py,sha256=GzWqvoeL_RgdQT0krwaqKeDErUib_BO2bZsq15b1N8U,16737
polyhorn/Polynomial.py,sha256=zW4u4rBoaWbUJmqWT-VIuITbvKRMe59cUKN8ag0HuhQ,12691
polyhorn/PositiveModel.py,sha256=-OU8J4xKNVsT-m6JvvIUAJBXX-MHV3QPVppZDDhOLzs,19752
polyhorn/Putinar.py,sha256=4Hms2kjGjchI-8dm5luzxWQA2qoD4SN6pZ0xu_GR19E,13390
polyhorn/Solver.py,sha256=HEsFZfgWsGyYjZLlOUZ9kmkzgC7ziJbWkqso-FRyoQc,7773
polyhorn/UnknownVariable.py,sha256=mBevJ3BZ96koE-U45-me2pRgyRCU8m4aJ7DLyvnO9_o,3191
polyhorn/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
polyhorn/main.py,sha256=cLXsf6wb4qhPJFTYUG3a2_AXHGEsF63HT9EHDZgPGVs,10492
polyhorn-0.0.7.dist-info/LICENSE,sha256=UfGu3I3-t--xGPunOCacxEIxDrDueOJ56O6Xr3fKvLg,1202
polyhorn-0.0.7.dist-info/METADATA,sha256=wuh6bN68itiN98ZR-KUTUseOfS7lfz2llKetckKC4ik,6871
polyhorn-0.0.7.dist-info/WHEEL,sha256=OVMc5UfuAQiSplgO0_WdW7vXVGAt9Hdd6qtN4HotdyA,91
polyhorn-0.0.7.dist-info/top_level.txt,sha256=SWqXba9NA1uheNDpFhHoJ1iAwgiHFN1yKGQFM6x-D1o,9
polyhorn-0.0.7.dist-info/RECORD,,
