Skip to main content

This package, specifically, enables the Boolector Python wrapper to be installed from PyPi

Metadata

Release files for PyBoolector 3.2.4.19199565967

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for PyBoolector 3.2.4.19199565967
File Size Uploaded Provenance
pyboolector-3.2.4.19199565967.tar.gz 21.8 kB Without provenance Details

Built distributions (wheels)

Table of built distributions (wheels) for PyBoolector 3.2.4.19199565967
File
pyboolector-3.2.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl CPython 3.14 CPython 3.14 macOS 15.0+ ARM64 Details
pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.13 CPython 3.13 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.12 CPython 3.12 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.11 CPython 3.11 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.10 CPython 3.10 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.8 CPython 3.8 Linux glibc 2.17+ x86-64 Details

Total release size: 15.4 MB

Release files / pyboolector-3.2.4.19199565967.tar.gz

Download URL pyboolector-3.2.4.19199565967.tar.gz
Size 21.8 kB
Tags Source
SHA-256 checksum
How to use checksums
4e6500edcae3e8c745826b427c4df05f5e4648ea749132a36b7ef8a12a710d04
BLAKE2b-256 checksum
How to use checksums
2a78d95039fef5a7faf751547fe1ccb2867332dc4a0b43f9984a425fc2945275
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl

Download URL pyboolector-3.2.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl
Size 999.9 kB
Tags CPython 3.14 macOS 15.0+ ARM64
SHA-256 checksum
How to use checksums
741dde0b2b627f9f0492aa82d286f0f8c712291b624558b23456432a44abadeb
BLAKE2b-256 checksum
How to use checksums
a8028c16d7621912e95ece1813e1719eb75868e19fac4317504d2915955272ef
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.4 MB
Tags CPython 3.13 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
f360b256ddb7917cc167c86e99763d5c57e6fff66a87157af8b5cd542b45a504
BLAKE2b-256 checksum
How to use checksums
a40dcb4aa23bf11e50d4ce854ab055d71b2ee7b211ee436d1f8e98cc4dfc1dfe
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.4 MB
Tags CPython 3.12 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
29c15518741baf19849b2398712e161421ee2aa0a52a8e9f3241bffb4faf18e1
BLAKE2b-256 checksum
How to use checksums
63e627f45aa20ee51e15bb734c9cc5a5c8267f51bccf2e68eef37d6b2eed5af4
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.4 MB
Tags CPython 3.11 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
3fcd56c2e9e7a408f0ffd86341c889f94a360fe7b58b05704b7e598e1bcb487d
BLAKE2b-256 checksum
How to use checksums
1777afdb304a22b64385b9e61e49589fd7f3d401a765fef0a44f4bf5d3d3c8b1
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.3 MB
Tags CPython 3.10 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
7fe2312ff3516007e3ac91e0b0140bebd8208fb6cb51f1535635bcf3b9584c6d
BLAKE2b-256 checksum
How to use checksums
f17997a0c37738468eeafafedca96fc77a94d9ce6b9184fa6f2d08fe74999d31
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.3 MB
Tags CPython 3.9 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
b1b327c672149801fadd6e770249d7172308ccb4deb3807aaca0adf5368135ec
BLAKE2b-256 checksum
How to use checksums
1a3f2e119607544f8722b4e176b465b24d2b4dc30f47c0324712d488e64d16c1
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Release files / pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Size 2.4 MB
Tags CPython 3.8 Linux glibc 2.17+ x86-64
SHA-256 checksum
How to use checksums
724eda967afdd9e8481d0862dc2e5d18afc1f9d038dbb4d140b3a277265c9ee9
BLAKE2b-256 checksum
How to use checksums
7c3d8300ef9e18ad6e04ea7a4646edcd4afc4dab5e6c53e78f499411e5f5f84a
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/6.2.0 CPython/3.12.3

Security for PyBoolector 3.2.4.19199565967

Provenance

Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.

No provenance found

None of the files in this release were uploaded with provenance metadata.

A note on package security

PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.

Release history Release notifications | RSS feed

This release
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page