Wheelodex » Projects » PyBoolector » PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

PyBoolector

View on PyPI — Reverse Dependencies (2)

3.2.4.20240823.1 PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl
PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl

Wheel Details

Project: PyBoolector
Version: 3.2.4.20240823.1
Filename: PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Download: [link]
Size: 2420401
MD5: f2468dc42d2931679573cba5098e9662
SHA256: 2095c9a76a1eb2d131e2a65f4cf5f4a952a1d228dc38dc90f1a3ff7befd4ab4e
Uploaded: 2024-08-23 23:00:41 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: PyBoolector
Version: 3.2.4.20240823.1
Summary: Python wrapper around the Boolector SMT solver
Maintainer: Matthew Ballance
Maintainer-Email: matt.ballance[at]gmail.com
Home-Page: https://github.com/boolector/boolector
Download-Url: https://pypi.org/project/PyBoolector/
Classifier: Development Status :: 5 - Production/Stable
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Topic :: Software Development :: Libraries :: Python Modules
License-File: LICENSE
[Description omitted; length: 103 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.42.0)
Root-Is-Purelib: false
Tag: cp37-cp37m-manylinux_2_17_x86_64
Tag: cp37-cp37m-manylinux2014_x86_64

RECORD

Path Digest Size
pyboolector.cpython-37m-x86_64-linux-gnu.so sha256=05DWIsmruhno0bbc7wqw4oAiKN3yhoiuxjSoi4ltG0A 6888401
PyBoolector-3.2.4.20240823.1.dist-info/RECORD — —
PyBoolector-3.2.4.20240823.1.dist-info/WHEEL sha256=XTrbe1v1RZIwaNy2ykqZ1b32V5o3CvHsSToseXBj9JY 150
PyBoolector-3.2.4.20240823.1.dist-info/LICENSE sha256=Q5kbJps8Y72mYh_u664PCQGuTTrxG4t0Za8co4kUZsU 1270
PyBoolector-3.2.4.20240823.1.dist-info/top_level.txt sha256=R9zGHuyA-8BTh2BrldRSsuUkymvh7YZZdlNv8yi7dyA 12
PyBoolector-3.2.4.20240823.1.dist-info/METADATA sha256=c_6AmZYdeq1OoNbPNQJGc2iO4kTaBN6FtX7SSrWBGJY 1158
PyBoolector.libs/libboolector-2e5df726.so sha256=0gqz7VZNt7Rh-dVQ1uC5DIp4q1mTnXiZ7huBV4BKaDM 2446321

top_level.txt

pyboolector