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

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.19199673826
File Size Uploaded Provenance
pyboolector-3.2.4.19199673826.tar.gz 21.8 kB Without provenance Details

Built distributions (wheels)

Table of built distributions (wheels) for PyBoolector 3.2.4.19199673826
File
pyboolector-3.2.4.19199673826-cp314-cp314-macosx_15_0_arm64.whl CPython 3.14 CPython 3.14 macOS 15.0+ ARM64 Details
pyboolector-3.2.4.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-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.19199673826-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.10 CPython 3.10 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.19199673826-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.19199673826-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.19199673826-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.19199673826-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.9 CPython 3.9 Linux glibc 2.17+ x86-64 Details
pyboolector-3.2.4.19199673826-cp38-cp38-manylinux_2_34_x86_64.whl CPython 3.8 CPython 3.8 Linux glibc 2.34+ x86-64 Details
pyboolector-3.2.4.19199673826-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl CPython 3.8 CPython 3.8 Linux glibc 2.28+ x86-64, Linux glibc 2.24+ x86-64 Details
pyboolector-3.2.4.19199673826-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl CPython 3.8 CPython 3.8 Linux glibc 2.17+ x86-64 Details

Total release size: 44.5 MB

Release files / pyboolector-3.2.4.19199673826.tar.gz

Download URL pyboolector-3.2.4.19199673826.tar.gz
Size 21.8 kB
Tags Source
SHA-256 checksum
How to use checksums
67689eccb6388ef595f5888d60d874cff1be29271e0b2194fb72b0bbdfb4ebbd
BLAKE2b-256 checksum
How to use checksums
68b2980f8b80bf64556ddbaff66e03a7d9bfdda8dac79fe8000cf9b846260a68
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.19199673826-cp314-cp314-macosx_15_0_arm64.whl

Download URL pyboolector-3.2.4.19199673826-cp314-cp314-macosx_15_0_arm64.whl
Size 999.9 kB
Tags CPython 3.14 macOS 15.0+ ARM64
SHA-256 checksum
How to use checksums
5e33ea8a0bbdfe745b3cc795ed7ec770ab67c5eca3c04a2abe936869b0e7226f
BLAKE2b-256 checksum
How to use checksums
94b7079c3aafb52ee0cbefad535c23089e4d9a32b6799a572b331ff41b40c9f1
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.19199673826-cp313-cp313-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
1d39d65bc7d433eaa1a5bc91a4ba3d6bda3668b2e330bf7c6c2b257a72884ae5
BLAKE2b-256 checksum
How to use checksums
6258ac63f48b86cd03f5cc00f9cd3897e21557bda35b646f0eb14e45f2b95464
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.19199673826-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
6a8a781c636e23a9b56e009445f493937492f5df982d901111b3c2fa0ee3c87e
BLAKE2b-256 checksum
How to use checksums
3855ae4d71531466aff0d82065300b2a53da2504e6ebdaf6d9e4c26e5fbe649e
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.19199673826-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
49c5036a1788446f37ca588e3f3b3ca8fee80dd31bbb91a34b2abd92a901d7f3
BLAKE2b-256 checksum
How to use checksums
3975977f032e66ed39bae9f64fc39b23a4bfa6d6b3097b53ee3cf754e8e56663
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.19199673826-cp312-cp312-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
5c2681cc4daba8e198eb0d68f5d4a9a29ac0213610f876c5a75b82494dbb3dcb
BLAKE2b-256 checksum
How to use checksums
07eb033b58da7e22209b2473580a04ecbfdc32ebb5ef781a57ea15413210e6c7
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.19199673826-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
3db1920c06a9f4a8aec4d861f653a33f37f17be723ea088f4b5eb3f3e8a5e493
BLAKE2b-256 checksum
How to use checksums
09d5976361998661f45f3a291bdcab084cb1941d543b18b5046f8437b2d77e05
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.19199673826-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
9b317e1676d8464c6c4e5262172c877c3afffc3c7f08a671a3112430c174177c
BLAKE2b-256 checksum
How to use checksums
9ba59f98d67f6beae26a8b680e54866997e0e98161a0a2686003709afc341361
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.19199673826-cp311-cp311-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
09709472dcd9966f8c78e548b8ed46df0946dce3c2f7feb37456d55e16db8205
BLAKE2b-256 checksum
How to use checksums
1e075561f8911ded443fd119b5e4ae631b8e668c441549f7622132bacf4b0c31
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.19199673826-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
b449a29049d185a5fb366c60af1774529528beedbb4a486da77cbfedf12c8355
BLAKE2b-256 checksum
How to use checksums
73da2c196776f182863a77a5ab85318b9f6c85105fefb93895877ddc2a13aec8
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.19199673826-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
cc7d795ac4d2dde72a5e22501112e916ad5745d184e9483156c06bd37f02f801
BLAKE2b-256 checksum
How to use checksums
27b1e778ec4c5aceed0d3ff1a448cc0cc28fcc75a37e9babe3c57ad932c3b4f7
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.19199673826-cp310-cp310-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
81c9a13ccbce4d548f9b7aac18e63e160445ca2ef9610be0ca8642e979abd028
BLAKE2b-256 checksum
How to use checksums
93a8b67674ad0cb8e49bcb5bfe3433d18c2940454ec0746da306c02c559e665c
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.19199673826-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
1463c4c0feadd5de5e9ecb8b2f9d7da1e88646ec8ea987c1396dcd0567d00748
BLAKE2b-256 checksum
How to use checksums
13cf967f443c1bb9fe805a6c352cf889d0dd7e344250cd8652888ab5edcee56c
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.19199673826-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
4d25f104db3701fe4c5defac85a5766c738e5d29ab14df8009109467d2212bdd
BLAKE2b-256 checksum
How to use checksums
b2e3e292572393cdfb03dcc4e23252daa6d1f7e9f0706451904dfd0977466595
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.19199673826-cp39-cp39-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
8d92f8859cec4dc3465b5c6a7fb41427835548b582fc6ed328dcb78b3ed74c07
BLAKE2b-256 checksum
How to use checksums
bea4f6bf114808c5ed24f3c92de24e45fe577418685c68bf56a90c2119845bb4
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.19199673826-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
891b4683a8beb7fa73f90d77e7ebf345ca448d494228ab895ece8f598676bb15
BLAKE2b-256 checksum
How to use checksums
1fce5b602443aacedbfe35f83503fab160ca52c5e4938dacfe1f1a8130800965
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.19199673826-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
c1b17c342746ed6c56b7903ee2c489e9b7fd0dcc6ae0d0a2f7708a616d75afb7
BLAKE2b-256 checksum
How to use checksums
6bb62f2e134a8acae959f9e9836a4af7a23c00708cb6a201f9fd5173d9f90ca8
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.19199673826-cp38-cp38-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
76f97c2d52b10bdd99e123c1389796e47a541f53f2053166bf8d18753b98d553
BLAKE2b-256 checksum
How to use checksums
4c2b913a27293f0efbb07336935672d15e7073c278bb6b784a100837dac26f50
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.19199673826-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
bad9281ee598dfa6f0a07834ff7172054ff53648ed21148b43837f30ec871b36
BLAKE2b-256 checksum
How to use checksums
55d03aba71fe58237617e0bfda41be6ea74065820546fea24ee0866a0eb85833
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.19199673826-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19199673826-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
59acbeb5eecd4ba595675b1722ce919236c34fcbb6f7a600dc5384f355e75e90
BLAKE2b-256 checksum
How to use checksums
671b4e574a136d75de16cfd5bedab8b9bf26fc3256d6c7c12e8cf5a5c1b6737d
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.19199673826

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.

Release history Release notifications | RSS feed

This release
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