This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.4.19342042739
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.19342042739.tar.gz | 21.8 kB | Without provenance | Details |
Built distributions (wheels)
Total release size: 44.5 MB
Release files / pyboolector-3.2.4.19342042739.tar.gz
| Download URL | pyboolector-3.2.4.19342042739.tar.gz |
|---|---|
| Size | 21.8 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
66eafae6ba1db39b7c01251899180d4acf720405a003cc2494a946fd4a3c95cb
|
|
BLAKE2b-256 checksum How to use checksums |
29bf15367b155a32452e8b6987ad08285460325aab53e3fb6a6f9ec387fccdec
|
| 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.19342042739-cp314-cp314-macosx_15_0_arm64.whl
| Download URL | pyboolector-3.2.4.19342042739-cp314-cp314-macosx_15_0_arm64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.14 macOS 15.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
0257bf9c532584f33b7601b844504f5ddf5a2858645fa48fdabf9417457ae08c
|
|
BLAKE2b-256 checksum How to use checksums |
37eadb4bbb83ddf12d42f995d314061a6628b489c5f0a58471660e498d4ea2b8
|
| 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.19342042739-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
a785fc1b809f5c40846abdf3914bb06e0e44769321cf3032342399d7b7d7eb31
|
|
BLAKE2b-256 checksum How to use checksums |
f1411352b6495268d39d77e6d2c672f05253429e63fc7d8a2266c1cab024a56a
|
| 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.19342042739-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
eb155bdd422b5bb4792adc9e2b36897ca0215d58e041a5ace2b41f9ee3ea7db7
|
|
BLAKE2b-256 checksum How to use checksums |
6db665f056209581fbe53745a4b892e9d667b62cff4291b8ab55d243ba2849e5
|
| 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.19342042739-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
f700551e8f63dc531f59a7af7f249558db2b138476943c95ae5760563dd2d448
|
|
BLAKE2b-256 checksum How to use checksums |
127dce381b801b7d276969109290bfcd8effe41dfcff6428a33997457c81bfe6
|
| 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.19342042739-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
31c3dc0a70bcda4a7b5783c51d2188977b3899005674a2cedaddf7f47aafdb7c
|
|
BLAKE2b-256 checksum How to use checksums |
00ef25d628efcbdbaafb1003faf4964112f0834b1a7900635eff215d72994067
|
| 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.19342042739-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
0de2215f1144a4cf9ff5ee660ef944db39e7a4c264e50dbf3d4d2aabe488ab9b
|
|
BLAKE2b-256 checksum How to use checksums |
4ebfa5d1747087551bfdd884e2b9540f9840e1c5a588959fa2084e5cb4426944
|
| 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.19342042739-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
e34a5fd928ac6d4400515c6a315436ad7d7ca740ed8323ef9558092c0c4cf865
|
|
BLAKE2b-256 checksum How to use checksums |
2a184d9a6dc3c3b6001b514371dabfbadfb145bd20e81acf94f4b59be686142f
|
| 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.19342042739-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
93746d18616816732f29335ac8a03662b519b3b863705c56e78c108754f3d93c
|
|
BLAKE2b-256 checksum How to use checksums |
edcf4ab9d56a19d79f246fe52ff8a61c94911cead676e797b454dc105343db17
|
| 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.19342042739-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
4fc9754ede94481c72854195d192be8da95b0afc73968df626d44f5f2035fdfb
|
|
BLAKE2b-256 checksum How to use checksums |
d021648afad5fd86600964734c92519235e1f79da81be35ab7a8e4b4a5eb874a
|
| 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.19342042739-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
3ecc0bb3c5df36f29d2de4ebfc91e615d97399999a9507a35e5e7172d7ebdc6d
|
|
BLAKE2b-256 checksum How to use checksums |
bd4f0517317f7667837cc51b1ae2789011cbcc6e24c32780120638bf94f1c13d
|
| 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.19342042739-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
b781135b096d5c74d8f2e713bc0f577cdba7ce89dce3613b91d64932a7092e25
|
|
BLAKE2b-256 checksum How to use checksums |
57362feffbe0134e9f97198d608ae75e5bbb147c39af362d401bcaddf2b6c8eb
|
| 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.19342042739-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
1e760a2dfe3c0319e4047d5cde715e156b900e1210d64e738141222349c518df
|
|
BLAKE2b-256 checksum How to use checksums |
7d93dff3e2ebf866421efe5bf39177973c626979a68973a71a2132e1dd7f6cad
|
| 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.19342042739-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
81ae206e743a05749cf0a10ffaff664836d3b567cf1765a8d291255344f473f6
|
|
BLAKE2b-256 checksum How to use checksums |
1fbb04dbf5caf78abd3594d4b9f614940c543471308ca153b72fe28459c18476
|
| 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.19342042739-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
1969183bdc4a0ee39c75e35fd1a6380985a9bfabb67eccac83258e9807af0d56
|
|
BLAKE2b-256 checksum How to use checksums |
25f83376d8e6694b1a4847d2e5d531bc315bc79dbd39dff0e823cdc60ec11bf2
|
| 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.19342042739-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
bd463cee1fd2e314a7db98794ff71aea1f4d459e3872043be53f3e3a4bdc1620
|
|
BLAKE2b-256 checksum How to use checksums |
8f8213100fb955b8ede91014cf7512e4acbbc7bbb99c1367ce72f55822865f95
|
| 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.19342042739-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
78fb8408439672485cdfe5f904d77c744c529b779687c3bec450827beb7f1f92
|
|
BLAKE2b-256 checksum How to use checksums |
9a69cf078515cb974735c9835e5155a6d498d05c90609444a362a265db0823e3
|
| 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.19342042739-cp38-cp38-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
12e35f5fd9d60695df88e1fe96e9d9552f872a34e59b9358e9bc9b4f2e1dcb54
|
|
BLAKE2b-256 checksum How to use checksums |
b44c780aa22d2fcbe02ea44ca44e67faa5e35b32e15b951963b9dcb9be965919
|
| 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.19342042739-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
8ca0ebccda4764c9d09996f1ee7f13dbd8609d8e74384cdb1755f0e622564348
|
|
BLAKE2b-256 checksum How to use checksums |
7c10a6924e6ace98bc920aa631ce2cfc32e7af39234b32a688f3c0e71666ac52
|
| 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.19342042739-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.19342042739-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 |
f06f6f1018c73e9a5e552263604779453760b0313600a309a8918b421af4cc7c
|
|
BLAKE2b-256 checksum How to use checksums |
47ede6524f3a46ed2a78e649a745a40fdd7b11e66c2bb24d7dd591c5bf6cf017
|
| 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.19342042739
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.