This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.4.19199673826
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.19199673826.tar.gz | 21.8 kB | Without provenance | Details |
Built distributions (wheels)
Total release size: 44.5 MB
Release files / pyboolector-3.2.4.19199673826.tar.gz
| Download URL | pyboolector-3.2.4.19199673826.tar.gz |
|---|---|
| Size | 21.8 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
67689eccb6388ef595f5888d60d874cff1be29271e0b2194fb72b0bbdfb4ebbd
|
|
BLAKE2b-256 checksum How to use checksums |
68b2980f8b80bf64556ddbaff66e03a7d9bfdda8dac79fe8000cf9b846260a68
|
| 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.19199673826-cp314-cp314-macosx_15_0_arm64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
5e33ea8a0bbdfe745b3cc795ed7ec770ab67c5eca3c04a2abe936869b0e7226f
|
|
BLAKE2b-256 checksum How to use checksums |
94b7079c3aafb52ee0cbefad535c23089e4d9a32b6799a572b331ff41b40c9f1
|
| 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.19199673826-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp313-cp313-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.13 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
1d39d65bc7d433eaa1a5bc91a4ba3d6bda3668b2e330bf7c6c2b257a72884ae5
|
|
BLAKE2b-256 checksum How to use checksums |
6258ac63f48b86cd03f5cc00f9cd3897e21557bda35b646f0eb14e45f2b95464
|
| 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.19199673826-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.13 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
6a8a781c636e23a9b56e009445f493937492f5df982d901111b3c2fa0ee3c87e
|
|
BLAKE2b-256 checksum How to use checksums |
3855ae4d71531466aff0d82065300b2a53da2504e6ebdaf6d9e4c26e5fbe649e
|
| 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.19199673826-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
49c5036a1788446f37ca588e3f3b3ca8fee80dd31bbb91a34b2abd92a901d7f3
|
|
BLAKE2b-256 checksum How to use checksums |
3975977f032e66ed39bae9f64fc39b23a4bfa6d6b3097b53ee3cf754e8e56663
|
| 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.19199673826-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp312-cp312-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.12 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
5c2681cc4daba8e198eb0d68f5d4a9a29ac0213610f876c5a75b82494dbb3dcb
|
|
BLAKE2b-256 checksum How to use checksums |
07eb033b58da7e22209b2473580a04ecbfdc32ebb5ef781a57ea15413210e6c7
|
| 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.19199673826-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.12 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
3db1920c06a9f4a8aec4d861f653a33f37f17be723ea088f4b5eb3f3e8a5e493
|
|
BLAKE2b-256 checksum How to use checksums |
09d5976361998661f45f3a291bdcab084cb1941d543b18b5046f8437b2d77e05
|
| 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.19199673826-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
9b317e1676d8464c6c4e5262172c877c3afffc3c7f08a671a3112430c174177c
|
|
BLAKE2b-256 checksum How to use checksums |
9ba59f98d67f6beae26a8b680e54866997e0e98161a0a2686003709afc341361
|
| 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.19199673826-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp311-cp311-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.11 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
09709472dcd9966f8c78e548b8ed46df0946dce3c2f7feb37456d55e16db8205
|
|
BLAKE2b-256 checksum How to use checksums |
1e075561f8911ded443fd119b5e4ae631b8e668c441549f7622132bacf4b0c31
|
| 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.19199673826-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.11 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
b449a29049d185a5fb366c60af1774529528beedbb4a486da77cbfedf12c8355
|
|
BLAKE2b-256 checksum How to use checksums |
73da2c196776f182863a77a5ab85318b9f6c85105fefb93895877ddc2a13aec8
|
| 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.19199673826-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
cc7d795ac4d2dde72a5e22501112e916ad5745d184e9483156c06bd37f02f801
|
|
BLAKE2b-256 checksum How to use checksums |
27b1e778ec4c5aceed0d3ff1a448cc0cc28fcc75a37e9babe3c57ad932c3b4f7
|
| 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.19199673826-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp310-cp310-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.3 MB |
| Tags | CPython 3.10 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
81c9a13ccbce4d548f9b7aac18e63e160445ca2ef9610be0ca8642e979abd028
|
|
BLAKE2b-256 checksum How to use checksums |
93a8b67674ad0cb8e49bcb5bfe3433d18c2940454ec0746da306c02c559e665c
|
| 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.19199673826-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.10 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
1463c4c0feadd5de5e9ecb8b2f9d7da1e88646ec8ea987c1396dcd0567d00748
|
|
BLAKE2b-256 checksum How to use checksums |
13cf967f443c1bb9fe805a6c352cf889d0dd7e344250cd8652888ab5edcee56c
|
| 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.19199673826-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
4d25f104db3701fe4c5defac85a5766c738e5d29ab14df8009109467d2212bdd
|
|
BLAKE2b-256 checksum How to use checksums |
b2e3e292572393cdfb03dcc4e23252daa6d1f7e9f0706451904dfd0977466595
|
| 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.19199673826-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp39-cp39-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.3 MB |
| Tags | CPython 3.9 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
8d92f8859cec4dc3465b5c6a7fb41427835548b582fc6ed328dcb78b3ed74c07
|
|
BLAKE2b-256 checksum How to use checksums |
bea4f6bf114808c5ed24f3c92de24e45fe577418685c68bf56a90c2119845bb4
|
| 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.19199673826-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.9 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
891b4683a8beb7fa73f90d77e7ebf345ca448d494228ab895ece8f598676bb15
|
|
BLAKE2b-256 checksum How to use checksums |
1fce5b602443aacedbfe35f83503fab160ca52c5e4938dacfe1f1a8130800965
|
| 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.19199673826-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
c1b17c342746ed6c56b7903ee2c489e9b7fd0dcc6ae0d0a2f7708a616d75afb7
|
|
BLAKE2b-256 checksum How to use checksums |
6bb62f2e134a8acae959f9e9836a4af7a23c00708cb6a201f9fd5173d9f90ca8
|
| 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.19199673826-cp38-cp38-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp38-cp38-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.8 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
76f97c2d52b10bdd99e123c1389796e47a541f53f2053166bf8d18753b98d553
|
|
BLAKE2b-256 checksum How to use checksums |
4c2b913a27293f0efbb07336935672d15e7073c278bb6b784a100837dac26f50
|
| 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.19199673826-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.8 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
bad9281ee598dfa6f0a07834ff7172054ff53648ed21148b43837f30ec871b36
|
|
BLAKE2b-256 checksum How to use checksums |
55d03aba71fe58237617e0bfda41be6ea74065820546fea24ee0866a0eb85833
|
| 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.19199673826-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19199673826-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 |
59acbeb5eecd4ba595675b1722ce919236c34fcbb6f7a600dc5384f355e75e90
|
|
BLAKE2b-256 checksum How to use checksums |
671b4e574a136d75de16cfd5bedab8b9bf26fc3256d6c7c12e8cf5a5c1b6737d
|
| 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.19199673826
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.