This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.4.38487093147
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distributions (wheels)
Total release size: 45.4 MB
Release files / pyboolector-3.2.4.38487093147-cp314-cp314-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
fb506a6cd24c407c2e951197b160a662699414a2a4a3a0e78e0ecaa994590a4d
|
|
BLAKE2b-256 checksum How to use checksums |
0d5c175d0cab50a12e560f63f51668fd449bd3a32b3d7f24a5d1309c0e25547a
|
| 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.38487093147-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
f34c65e999ab4dc38dff61c00b7d4a51f8923fa8c9c595ad04c4d369654ee1a5
|
|
BLAKE2b-256 checksum How to use checksums |
473e0f39c705a4f12f10ca3d9257398fc3d2c8ce82fce9fd7a3cf92fae5076ad
|
| 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.38487093147-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
ce9f4f506f8cbeef0df7b216c604b2b11b1d1c4a085c1bc4941dea62d977c823
|
|
BLAKE2b-256 checksum How to use checksums |
0e80913460b12d5938acd264f883e7dee65ab5f65bc7f5773a1772bc61cc7738
|
| 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.38487093147-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
30b204c82137dc796009a70124627f7cdc1e25894c9455b634b05900afa23065
|
|
BLAKE2b-256 checksum How to use checksums |
3d47f65faf9977691949665af88d736466acacf1988ed684fe8c6118b6bbc4a9
|
| 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.38487093147-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
6077d38ced0f823ce1419209e72fc0352959a039a5db9ac03a60f61dd5af17bc
|
|
BLAKE2b-256 checksum How to use checksums |
376a1a4d9442c18561d82a9fa98d4134475049d2096508b9079fb85021e836c7
|
| 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.38487093147-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
21da9190f7b5c1044fe43335d71b9f95239c6a9eefee3781b4357ff23fcaa7da
|
|
BLAKE2b-256 checksum How to use checksums |
a161779b5e7cc36e0895de660187534651a28ab51823f277c34b6d63543fefcf
|
| 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.38487093147-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
7b1fe3b27ad30656f9d07c62e31413240f833452a5a73bfcda5ca4ef22921420
|
|
BLAKE2b-256 checksum How to use checksums |
8e0c806e6ebea6c48bd146ed7d178da8e397833e7242e1e939c4560ae55b0c8c
|
| 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.38487093147-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
d980433388047e270455feaccd70e5536609f31eaba57dc6c1b1a55367ef0ac4
|
|
BLAKE2b-256 checksum How to use checksums |
a46803f3308c02d06ee2eaad9fc4c0e3f40583739a2a44dd1dab736c2abe98ad
|
| 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.38487093147-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
2fda091bd7ab1f21eb5345c69aac7dbdf0c419a2381bb554fd832e8959fa31d0
|
|
BLAKE2b-256 checksum How to use checksums |
e10c3a3122db9b1f6a252bab88843ed747cb5c8f6c25916781492e3694b89265
|
| 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.38487093147-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
9130425c394480484ffa40d4d9d069f5e5b5f321b713e9003355c260c2d4dcd8
|
|
BLAKE2b-256 checksum How to use checksums |
5e4bea93e284f89c363378aa35ab1035d6e336eed6f288c3049dcf3479ba7356
|
| 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.38487093147-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
6af348f87c97db8064ad97045d26aa8752b7535328c27b2224210fc2fd7675fa
|
|
BLAKE2b-256 checksum How to use checksums |
b13213ae075e3e961bb52bbe56eea22ab2f737e808467d7ef6c6f9360a29d0c9
|
| 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.38487093147-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
6cba4bedcdf3c2f40a5e56d8ec004e49abb1f6039129fb7fbb02ef119ab7a6dd
|
|
BLAKE2b-256 checksum How to use checksums |
9bb128f121e14477fad8b6bcea9b106b06b0e42867f605f450bead00eea91846
|
| 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.38487093147-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
1c8017576114801c42cf8691ac2853db1a0e68a67341cf91787c5feb07e43a9d
|
|
BLAKE2b-256 checksum How to use checksums |
2f164558b210815b5c83e846b7819f78fe9cd895dfa7319acea1b2071fc2836d
|
| 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.38487093147-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
c2d44d121bfe7f4df6166448d0fd744622b9f0e43c39ade23a37fddb5e17c2e7
|
|
BLAKE2b-256 checksum How to use checksums |
18e6b0c3aa1d73f20396bcc44d4e7fd0a72925ae956fc55f2d13f7ea8a42465d
|
| 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.38487093147-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
b5116e62c702469514c3d986ed8161e4fe25c206c1b707da0965785283543724
|
|
BLAKE2b-256 checksum How to use checksums |
7e690cd41a28856d7bc7092f9e626373edaa78940db0a896a02a5a057e5e83ec
|
| 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.38487093147-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
73cfaec8a34e616ec27a111ea19597b1e7e1655a83b91e62c5f8c078528ec1d5
|
|
BLAKE2b-256 checksum How to use checksums |
d91cda660127ce5affbaae9ea30dd55f7c750fda984414a6f80e68fe50d87e2e
|
| 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.38487093147-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
ccca223751f8171380b34081c6094aa274820fcd7bc338c8c8f9e002b3fa78f2
|
|
BLAKE2b-256 checksum How to use checksums |
dac67d78b3a6d16514a3b91e914dc6aec413be084ee44895aad10dbb72c26e49
|
| 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.38487093147-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38487093147-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 |
02127ddfb921b5994d2377ee23aed5a477787cb24764a795386cfc37a1c7da16
|
|
BLAKE2b-256 checksum How to use checksums |
4ff6a5e8d2607f44ba6314bfc10cd8f52a9df925ef784574f957ccd935fc6175
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|