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

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

Built distributions (wheels)

Table of built distributions (wheels) for PyBoolector 3.2.4.19342042739
File
pyboolector-3.2.4.19342042739-cp314-cp314-macosx_15_0_arm64.whl CPython 3.14 CPython 3.14 macOS 15.0+ ARM64 Details
pyboolector-3.2.4.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739-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.19342042739.tar.gz

Download URL pyboolector-3.2.4.19342042739.tar.gz
Size 21.8 kB
Tags Source
SHA-256 checksum
How to use checksums
66eafae6ba1db39b7c01251899180d4acf720405a003cc2494a946fd4a3c95cb
BLAKE2b-256 checksum
How to use checksums
29bf15367b155a32452e8b6987ad08285460325aab53e3fb6a6f9ec387fccdec
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.19342042739-cp314-cp314-macosx_15_0_arm64.whl

Download URL pyboolector-3.2.4.19342042739-cp314-cp314-macosx_15_0_arm64.whl
Size 1.0 MB
Tags CPython 3.14 macOS 15.0+ ARM64
SHA-256 checksum
How to use checksums
0257bf9c532584f33b7601b844504f5ddf5a2858645fa48fdabf9417457ae08c
BLAKE2b-256 checksum
How to use checksums
37eadb4bbb83ddf12d42f995d314061a6628b489c5f0a58471660e498d4ea2b8
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.19342042739-cp313-cp313-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
a785fc1b809f5c40846abdf3914bb06e0e44769321cf3032342399d7b7d7eb31
BLAKE2b-256 checksum
How to use checksums
f1411352b6495268d39d77e6d2c672f05253429e63fc7d8a2266c1cab024a56a
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.19342042739-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
eb155bdd422b5bb4792adc9e2b36897ca0215d58e041a5ace2b41f9ee3ea7db7
BLAKE2b-256 checksum
How to use checksums
6db665f056209581fbe53745a4b892e9d667b62cff4291b8ab55d243ba2849e5
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.19342042739-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
f700551e8f63dc531f59a7af7f249558db2b138476943c95ae5760563dd2d448
BLAKE2b-256 checksum
How to use checksums
127dce381b801b7d276969109290bfcd8effe41dfcff6428a33997457c81bfe6
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.19342042739-cp312-cp312-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
31c3dc0a70bcda4a7b5783c51d2188977b3899005674a2cedaddf7f47aafdb7c
BLAKE2b-256 checksum
How to use checksums
00ef25d628efcbdbaafb1003faf4964112f0834b1a7900635eff215d72994067
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.19342042739-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
0de2215f1144a4cf9ff5ee660ef944db39e7a4c264e50dbf3d4d2aabe488ab9b
BLAKE2b-256 checksum
How to use checksums
4ebfa5d1747087551bfdd884e2b9540f9840e1c5a588959fa2084e5cb4426944
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.19342042739-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
e34a5fd928ac6d4400515c6a315436ad7d7ca740ed8323ef9558092c0c4cf865
BLAKE2b-256 checksum
How to use checksums
2a184d9a6dc3c3b6001b514371dabfbadfb145bd20e81acf94f4b59be686142f
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.19342042739-cp311-cp311-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
93746d18616816732f29335ac8a03662b519b3b863705c56e78c108754f3d93c
BLAKE2b-256 checksum
How to use checksums
edcf4ab9d56a19d79f246fe52ff8a61c94911cead676e797b454dc105343db17
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.19342042739-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
4fc9754ede94481c72854195d192be8da95b0afc73968df626d44f5f2035fdfb
BLAKE2b-256 checksum
How to use checksums
d021648afad5fd86600964734c92519235e1f79da81be35ab7a8e4b4a5eb874a
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.19342042739-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
3ecc0bb3c5df36f29d2de4ebfc91e615d97399999a9507a35e5e7172d7ebdc6d
BLAKE2b-256 checksum
How to use checksums
bd4f0517317f7667837cc51b1ae2789011cbcc6e24c32780120638bf94f1c13d
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.19342042739-cp310-cp310-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
b781135b096d5c74d8f2e713bc0f577cdba7ce89dce3613b91d64932a7092e25
BLAKE2b-256 checksum
How to use checksums
57362feffbe0134e9f97198d608ae75e5bbb147c39af362d401bcaddf2b6c8eb
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.19342042739-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
1e760a2dfe3c0319e4047d5cde715e156b900e1210d64e738141222349c518df
BLAKE2b-256 checksum
How to use checksums
7d93dff3e2ebf866421efe5bf39177973c626979a68973a71a2132e1dd7f6cad
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.19342042739-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
81ae206e743a05749cf0a10ffaff664836d3b567cf1765a8d291255344f473f6
BLAKE2b-256 checksum
How to use checksums
1fbb04dbf5caf78abd3594d4b9f614940c543471308ca153b72fe28459c18476
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.19342042739-cp39-cp39-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
1969183bdc4a0ee39c75e35fd1a6380985a9bfabb67eccac83258e9807af0d56
BLAKE2b-256 checksum
How to use checksums
25f83376d8e6694b1a4847d2e5d531bc315bc79dbd39dff0e823cdc60ec11bf2
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.19342042739-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
bd463cee1fd2e314a7db98794ff71aea1f4d459e3872043be53f3e3a4bdc1620
BLAKE2b-256 checksum
How to use checksums
8f8213100fb955b8ede91014cf7512e4acbbc7bbb99c1367ce72f55822865f95
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.19342042739-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
78fb8408439672485cdfe5f904d77c744c529b779687c3bec450827beb7f1f92
BLAKE2b-256 checksum
How to use checksums
9a69cf078515cb974735c9835e5155a6d498d05c90609444a362a265db0823e3
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.19342042739-cp38-cp38-manylinux_2_34_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
12e35f5fd9d60695df88e1fe96e9d9552f872a34e59b9358e9bc9b4f2e1dcb54
BLAKE2b-256 checksum
How to use checksums
b44c780aa22d2fcbe02ea44ca44e67faa5e35b32e15b951963b9dcb9be965919
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.19342042739-cp38-cp38-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
8ca0ebccda4764c9d09996f1ee7f13dbd8609d8e74384cdb1755f0e622564348
BLAKE2b-256 checksum
How to use checksums
7c10a6924e6ace98bc920aa631ce2cfc32e7af39234b32a688f3c0e71666ac52
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.19342042739-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl

Download URL pyboolector-3.2.4.19342042739-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
f06f6f1018c73e9a5e552263604779453760b0313600a309a8918b421af4cc7c
BLAKE2b-256 checksum
How to use checksums
47ede6524f3a46ed2a78e649a745a40fdd7b11e66c2bb24d7dd591c5bf6cf017
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.19342042739

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