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

polyqent

View on PyPI — Reverse Dependencies (0)

0.0.7 polyqent-0.0.7-py3-none-any.whl

Wheel Details

Project: polyqent
Version: 0.0.7
Filename: polyqent-0.0.7-py3-none-any.whl
Download: [link]
Size: 32446
MD5: e3eeb27924760199a9a1cd0fbbd9cfd8
SHA256: 614912fe93b95f018da22d5b6156db307f4dd36c11c0e67a9f7f380a08a4a7a5
Uploaded: 2025-01-14 16:16:25 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.2
Name: polyqent
Version: 0.0.7
Summary: PolyQEnt 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/polyqent
Project-Url: Issues, https://github.com/ChatterjeeGroup-ISTA/polyqent/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.8.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

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

top_level.txt

polyqent