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.38485682399

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for PyBoolector 3.2.4.38485682399
File Size Uploaded
pyboolector-3.2.4.38485682399.tar.gz 19.4 kB Details

Built distributions (wheels)

Table of built distributions (wheels) for PyBoolector 3.2.4.38485682399
File
pyboolector-3.2.4.38485682399-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.38485682399-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.14 CPython 3.14 Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64 Details
pyboolector-3.2.4.38485682399-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.38485682399-cp314-cp314-macosx_26_0_arm64.whl CPython 3.14 CPython 3.14 macOS 26.0+ ARM64 Details
pyboolector-3.2.4.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.12 CPython 3.12 Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64 Details
pyboolector-3.2.4.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-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.38485682399-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.24+ x86-64, Linux glibc 2.28+ x86-64 Details
pyboolector-3.2.4.38485682399-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: 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

Release history Release notifications | RSS feed

This release

3.2.4.38485682399 This release

20 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