Wheelodex » Projects » z4-solver » z4_solver-2023.12.6-py3-none-any.whl

z4-solver

View on PyPI — Reverse Dependencies (0)

2023.12.6 z4_solver-2023.12.6-py3-none-any.whl

Wheel Details

Project: z4-solver
Version: 2023.12.6
Filename: z4_solver-2023.12.6-py3-none-any.whl
Download: [link]
Size: 15482
MD5: c761e033031558496175081bcb27dbb7
SHA256: 2092c3e5198fbab07dda04219cdf59a4df1d5225ad6e1052d8abf93da9251294
Uploaded: 2023-12-06 22:15:20 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: z4-solver
Version: 2023.12.6
Summary: z3++
Author: Asger Hautop Drewsen
Author-Email: asger[at]tyilo.com
Home-Page: https://github.com/Tyilo/z4
Project-Url: Repository, https://github.com/Tyilo/z4
License: GPL-3.0-only
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Requires-Python: >=3.10,<4.0
Requires-Dist: z3-solver (<5.0.0,>=4.12.4)
Description-Content-Type: text/markdown
[Description omitted; length: 2380 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry-core 1.8.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
z4.py sha256=bvt5sV6bAsr0iv5xvhNJxVnAV39vU1o51CH6_E9TaYA 2834
z4_solver-2023.12.6.dist-info/LICENSE sha256=OXLcl0T2SZ8Pmy2_dmlvKuetivmyPd5m1q-Gyd-zaYY 35149
z4_solver-2023.12.6.dist-info/METADATA sha256=3KFDuOzOw-6kROfv7cg8g5dU9GfiReE9TQcYlFc5sk0 3015
z4_solver-2023.12.6.dist-info/WHEEL sha256=FMvqSimYX_P7y0a7UY-_Mc83r5zkBZsCYPm7Lr0Bsq4 88
z4_solver-2023.12.6.dist-info/RECORD — —