Skip to main content

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)

Table of built distributions (wheels) for PyBoolector 3.2.4.38487093147
File
pyboolector-3.2.4.38487093147-cp314-cp314-manylinux_2_34_x86_64.whl CPython 3.14 CPython 3.14 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.14 CPython 3.14 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.38487093147-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.14 CPython 3.14 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.38487093147-cp313-cp313-manylinux_2_34_x86_64.whl CPython 3.13 CPython 3.13 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.13 CPython 3.13 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.38487093147-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.13 CPython 3.13 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.38487093147-cp312-cp312-manylinux_2_34_x86_64.whl CPython 3.12 CPython 3.12 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.12 CPython 3.12 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.38487093147-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.12 CPython 3.12 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.38487093147-cp311-cp311-manylinux_2_34_x86_64.whl CPython 3.11 CPython 3.11 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.11 CPython 3.11 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.38487093147-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.11 CPython 3.11 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.38487093147-cp310-cp310-manylinux_2_34_x86_64.whl CPython 3.10 CPython 3.10 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.10 CPython 3.10 Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64 Details
pyboolector-3.2.4.38487093147-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.10 CPython 3.10 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.38487093147-cp39-cp39-manylinux_2_34_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.38487093147-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.38487093147-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.17+ x86-64 Details

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

Release history Release notifications | RSS feed

This release

3.2.4.38487093147 This release

18 release files

3.2.1

1 release file

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page