Wheelodex » Projects » polyhorn » polyhorn-0.0.7-py3-none-any.whl

polyhorn

View on PyPI — Reverse Dependencies (0)

0.0.7 polyhorn-0.0.7-py3-none-any.whl

Wheel Details

Project: polyhorn
Version: 0.0.7
Filename: polyhorn-0.0.7-py3-none-any.whl
Download: [link]
Size: 32439
MD5: 0ed7eb880352547a36b85e80da0c3c9d
SHA256: a97fc9f634d326c10cb041d781f0db80f4309088b479008e2074de969d740488
Uploaded: 2024-10-21 11:04:58 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: polyhorn
Version: 0.0.7
Summary: PolyHorn is a solver for Polynomial Horn Clauses (PHC).
Author-Email: Krishnendu Chatterjee <krishnendu.chatterjee[at]ist.ac.at>, Amir Kafshdar Goharshady <goharshady[at]cse.ust.hk>, Ehsan Kafshdar Goharshady <ehsan.goharshady[at]ist.ac.at>, Mehrdad Karrabi <mehrdad.karrabi[at]ist.ac.at>, Milad Saadat <milad.saadat[at]sharif.edu>, Maximilian Seeliger <maximilian.seeliger[at]tuwien.ac.at>, Djordje Zikelic <dzikelic[at]smu.edu.sg>
Project-Url: Homepage, https://github.com/ChatterjeeGroup-ISTA/PolyHorn/
Project-Url: Issues, https://github.com/ChatterjeeGroup-ISTA/PolyHorn/issues
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Requires-Dist: numpy
Requires-Dist: lark
Requires-Dist: pysmt
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 5953 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.2.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
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 — —

top_level.txt

polyhorn