This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.4.38485682399
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| pyboolector-3.2.4.38485682399.tar.gz | 19.4 kB | Details |
Built distributions (wheels)
Total release size: 46.5 MB
Release files / pyboolector-3.2.4.38485682399.tar.gz
| Download URL | pyboolector-3.2.4.38485682399.tar.gz |
|---|---|
| Size | 19.4 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
62f30098de2026421d658586f69e0060e27ea2717acfb18ab8e3c5bc641efffa
|
|
BLAKE2b-256 checksum How to use checksums |
79f3f87d9a4abbe4e74448ef4956554dc4d5afc733a4a5920953bf1276a331fd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp314-cp314-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp314-cp314-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.14 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
8ed3239912b956cbcb1af1f8135cf028dd5e5e861bf28a235ff94f19111edea1
|
|
BLAKE2b-256 checksum How to use checksums |
2124f62ae37fb89027e4d76df1094948e8e16e869252f3355bce2e93111e4a11
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.14 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f09c57e3947f313bd07808de4f09a5d61efabdb63cead7df3ab8961249d72b4e
|
|
BLAKE2b-256 checksum How to use checksums |
13b32be4c7c72a6843e57479cf4283ac9fbb36e446eba02616a1bf78da4f4322
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.14 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
ce1643712e484f2ed11fe60b017a3dfbc05a0fd4b5d2e5fa070f2ab6c8901779
|
|
BLAKE2b-256 checksum How to use checksums |
a7b3e0f4c42d32b1e112076c8cc1fd26459b0c189833cd43820e386c1d4ef80f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp314-cp314-macosx_26_0_arm64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp314-cp314-macosx_26_0_arm64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.14 macOS 26.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
f9acda03226fbd672359009ccf82c559f96fc05c61267be0b80e48137fa59c46
|
|
BLAKE2b-256 checksum How to use checksums |
8e662f1222ebc356f0e6424019ac24809d03dcba5c2023dde34dfd844db11673
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp313-cp313-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.13 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
531559f50cd03ac1ae46e2dc22fe07c78ee2f146677250136eded658c40071fb
|
|
BLAKE2b-256 checksum How to use checksums |
53321f1a864a44d4a1072adacacc5678d24ddb6bfcfdf156f66330f9ab2dbb5e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.13 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
79d6cc941d94113d4085f0b50e68e9bddcabc5a02f79b280fbd69584e2b3f982
|
|
BLAKE2b-256 checksum How to use checksums |
959571c52a73921515cd54950340488d58dc59e0064e2e684a8b99cc3e79a89f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.13 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
78c7e2158c24f38fc5e62aacc2a5011058abfd4eb3fedad01239502201a62073
|
|
BLAKE2b-256 checksum How to use checksums |
da76bd467db5a3c641b2dd73ff4b3264cfd4b3ab8201aae21be1e9a22a736b00
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp312-cp312-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.12 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
dd64fb59aab199be786b05649f8415c0b246ec7fe0c50898f30d83720b954428
|
|
BLAKE2b-256 checksum How to use checksums |
9d3233c2508553859306d312ad8872b12d418f36ab254bafe03c9a8d5f953093
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.12 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
fa7f1fa570ebd05dd1375767a83e0bd6d644f97ae13f2f5921e83c26e0961895
|
|
BLAKE2b-256 checksum How to use checksums |
9c28907bc32b0b1ec90af944a630c64100d250e74d9d924fbf84c340faf25415
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.12 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
245fac3408f18bb5a5a5ab3bb9550f3871d253b8814c0f530afe1e7f429d2c07
|
|
BLAKE2b-256 checksum How to use checksums |
b1021802245d97f568225ade60ca200e4878f20e32f7858482edd7c3b01cd4bc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp311-cp311-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.11 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
75ab9253bb8126f39bcc3e4960ba08f4462e4526692e57a1a87d410ef194fb89
|
|
BLAKE2b-256 checksum How to use checksums |
2776a804d5bad17d18b8fcde21a536208fd6350f1f77a9f828f8589a66266ecc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.11 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
22740d80968e63bc0808045afa70736111bf72e671b0ae757c29a83accada12f
|
|
BLAKE2b-256 checksum How to use checksums |
c57edde98fa8e8dfa85275898046504a5f7e9938347eeeda05c6bd5814f5e11a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.11 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
891e27ecfb93a95f5783f257be80368e181a06bd55162a8a132c9e70f121c836
|
|
BLAKE2b-256 checksum How to use checksums |
05b2cf08e2e37c4a9388b4b5647b40b931baee83ed662efaf261fc918a61e88f
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp310-cp310-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.10 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
3da2d0b33bfff4550664c9b82aa01852701b6a219baf199233408d371f5210a4
|
|
BLAKE2b-256 checksum How to use checksums |
22bb4a67c50604cadac4846f6c6a416c82b93a22b4393aaf63ad1b31881c38eb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.10 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
429715f25d2d1edfd0b15efabaad22185eb323634c6ad671cba2cd73682ffa9c
|
|
BLAKE2b-256 checksum How to use checksums |
6a95830e9e9eab3bd51de229e64b2598e1dca24fd19dc20d556141d4d2da3184
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.10 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
92559810c4a2d0a37aab3dd542680785ca942cfacec269b2719487dbea40809d
|
|
BLAKE2b-256 checksum How to use checksums |
358e8e69c01a1e30404d5b8c725237e7f34a30eb3991a62909c540a83cc65d84
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp39-cp39-manylinux_2_34_x86_64.whl |
|---|---|
| Size | 2.4 MB |
| Tags | CPython 3.9 Linux glibc 2.34+ x86-64 |
|
SHA-256 checksum How to use checksums |
8c9f6fd7d2d558e4e5849e1a41e5ce81bbd0de3660c5d9140a6fbf4f41b93b8c
|
|
BLAKE2b-256 checksum How to use checksums |
2b1e12559ece1d9777a8439b17b4d68492c8b05b2c029c849b8de06c96e5ec51
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 2.6 MB |
| Tags | CPython 3.9 Linux glibc 2.24+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
7a73b8a4bc62990adead2e1207f00e61a42ab96435f82799ac2daf6dc6961475
|
|
BLAKE2b-256 checksum How to use checksums |
bde9afd920fa9688fab8fb32b5343898ebd4d4076a7e6b7c0f6e733c92e70836
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|
Release files / pyboolector-3.2.4.38485682399-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38485682399-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl |
|---|---|
| Size | 2.5 MB |
| Tags | CPython 3.9 Linux glibc 2.17+ x86-64 |
|
SHA-256 checksum How to use checksums |
3f940bfa521729799e68a72c492eaa818f9ea05ab83f355498ec9f92417510ab
|
|
BLAKE2b-256 checksum How to use checksums |
a51ff33da61fd8175e51eae0858809d5d41b3fcff335aaf5aba736799f5ccd2b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|