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=SpRqMMGWUHL2rTBdJ1vctpviQlwv0CmYS_L0be2cxc8,10493
polyhorn-0.0.6.dist-info/LICENSE,sha256=IpO4O__0efRwsrAt5oseO0simeTj1m5WtvYy784-y4Y,1124
polyhorn-0.0.6.dist-info/METADATA,sha256=VES-GDcfFMv6RMgLVaA-z4xRz--9aPPuGhBog-26I5E,6237
polyhorn-0.0.6.dist-info/WHEEL,sha256=GV9aMThwP_4oNCtvEC2ec3qUYutgWeAzklro_0m4WJQ,91
polyhorn-0.0.6.dist-info/top_level.txt,sha256=SWqXba9NA1uheNDpFhHoJ1iAwgiHFN1yKGQFM6x-D1o,9
polyhorn-0.0.6.dist-info/RECORD,,
