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)
| File | Size | Uploaded | Provenance | |
|---|---|---|---|---|
| pyboolector-3.2.4.19199565967.tar.gz | 21.8 kB | Without provenance | Details |
Built distributions (wheels)
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.