polyhorn/Coefficient.py,sha256=n3tqBtdiN0z2fvtPoL_h8US4aFXwgaWiizntHoluDOw,10417
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=QqtOOQvyVnhgq6u8bb60z7V1-gahK4I92fWf9KRydPw,12206
polyhorn/PositiveModel.py,sha256=fuUID6D__x4GmHa3Aknli-rgQDIEm-rf5hZ3NIngDzQ,19461
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=p3HLKcjvCVFeXM6xgHKwH_eWEjLtCiHfibZfbcvrDGY,10330
polyhorn-0.0.5.dist-info/LICENSE,sha256=IpO4O__0efRwsrAt5oseO0simeTj1m5WtvYy784-y4Y,1124
polyhorn-0.0.5.dist-info/METADATA,sha256=Or4eGXFY9eSmyEceaX5DSw75x_TJOu2sczzIr010c60,6237
polyhorn-0.0.5.dist-info/WHEEL,sha256=UvcQYKBHoFqaQd6LKyqHw9fxEolWLQnlzP0h_LgJAfI,91
polyhorn-0.0.5.dist-info/top_level.txt,sha256=SWqXba9NA1uheNDpFhHoJ1iAwgiHFN1yKGQFM6x-D1o,9
polyhorn-0.0.5.dist-info/RECORD,,
