This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.4.38488416565
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| pyboolector-3.2.4.38488416565.tar.gz | 296.3 kB | Details |
Built distributions (wheels)
Total release size: 58.5 MB
Release files / pyboolector-3.2.4.38488416565.tar.gz
| Download URL | pyboolector-3.2.4.38488416565.tar.gz |
|---|---|
| Size | 296.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
713207b7b9507590bef427565a433ba0bb0be5b6dada86c6c43e98eb8c6a18dc
|
|
BLAKE2b-256 checksum How to use checksums |
03284b18f833c244610571133ee0385c02de0905cc2b367ec2d3c148ee94037b
|
| 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.38488416565-cp314-cp314-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
4bea5066904ec22a5f911dcce94bc432c5ee12aeea13b0291e379da35bc6cf0e
|
|
BLAKE2b-256 checksum How to use checksums |
0a6ab16c829542b78ed36c8bc619066da55c3e878e2538d2ba492e60c3401585
|
| 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.38488416565-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
deb75750d64aeb36a995dc993810fb15024fe2f861d902aeac7fdd4a0a65c1ec
|
|
BLAKE2b-256 checksum How to use checksums |
d1245671de63c0f69044280a6563a458ca2052d4b383796bd7e9661bb4a4895d
|
| 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.38488416565-cp314-cp314-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
a000da4022e710b849ddf8a40e81350e37fc4c16ed648e3bd66eb2b0be13e4ef
|
|
BLAKE2b-256 checksum How to use checksums |
f44e53e19e96108d93a11f26c03bef61c829b9a281e5e128d235a62a6d937637
|
| 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.38488416565-cp314-cp314-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp314-cp314-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.14 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
8661019f6688c6df8a9cb26ff2bbda12a04cfa9d31d90124cc639fbfe0456aa4
|
|
BLAKE2b-256 checksum How to use checksums |
97a5623ea5e17e598acf43167f6f827fe82fc11af2767f7b2475dee9f941012e
|
| 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.38488416565-cp313-cp313-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
9b3ae5d4f3449450132d98528bc1db91f386eedf1833b2476860d037fe15723c
|
|
BLAKE2b-256 checksum How to use checksums |
e9f8061bb5496c38f7a7cff99ed576755b17b80744d88399f0726a83b3236ddf
|
| 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.38488416565-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
24c26556aabe54f5c8ddf2f1c45d1055aa086918445244c9f806884b38bc555a
|
|
BLAKE2b-256 checksum How to use checksums |
a9523d58dab42770602868464464e49b49f2ff84b6e0912dfffc286ac1982ce5
|
| 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.38488416565-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
57c36c6ddca492b1a198ebd6b552d362a4a72ea1fd4c786f19054bf2cf3a018e
|
|
BLAKE2b-256 checksum How to use checksums |
193838d3bbf47cae100c81c9ff5c0e50fcb7888ad28168274e3d2f1b7782bbf2
|
| 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.38488416565-cp313-cp313-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp313-cp313-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.13 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
0f94a6fb0201d986cf2e73a07b94624b66e44832e08ec4e63d659e3bff671efb
|
|
BLAKE2b-256 checksum How to use checksums |
2406eec5aae344f88fe0a15f8342e5029be061ff5082ddfbeef3099c539655b2
|
| 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.38488416565-cp312-cp312-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
09ccf026ba6e2492fe31ac1b9636b5cfd5db41de52cb58e36603d9a7df9dfa25
|
|
BLAKE2b-256 checksum How to use checksums |
f612b8857fb22c9f8bef3a9e618cd967c4df01325724756402f0695fbbfeb27f
|
| 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.38488416565-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
3f184268646312fd5cd01f16dc81d3746185d37b6e0745265cfddbad021a2b4e
|
|
BLAKE2b-256 checksum How to use checksums |
f207a88bc2ec983a82c271763f5dc488aee2967b734836889375f9dc7ba85012
|
| 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.38488416565-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
d951af35bf0139449243e5eb351ec29d26001f7581b46eaa5fb130f155fdb61f
|
|
BLAKE2b-256 checksum How to use checksums |
1f657c7d602587dd05b5c61d3e372abb3a8f1afb29275c1bb9be72727a565080
|
| 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.38488416565-cp312-cp312-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp312-cp312-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.12 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
aaac9be2056f53ec44dba6b3767a097148e8279fb067c097fc6ea3ac6127e627
|
|
BLAKE2b-256 checksum How to use checksums |
d9584b4427fdf491dac33762cd8bf85f39f37a193b11423bdbaa4d911e505895
|
| 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.38488416565-cp311-cp311-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
aa27c7c1f36d1c9a08d535f4250c8f3a294d0b1a266bbb1b46a5e8e730db68fb
|
|
BLAKE2b-256 checksum How to use checksums |
e962300ddfccd3945db084d3d61d7521430579b4ab07b7c4537c56a195cc5ba5
|
| 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.38488416565-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
f6fbf7f78cea77e23e196a688bc3a833966184a48fcf133e3ac2c88fe717a246
|
|
BLAKE2b-256 checksum How to use checksums |
36256caf87575f8db19462843b80d585f3ae3c247f6a1b628a5cbf61e66795d7
|
| 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.38488416565-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
30c5391def662fe6451bd673523a9b3d4e6c353fde07bcedc14b1d169660d3cf
|
|
BLAKE2b-256 checksum How to use checksums |
abb6e3399af8167e7abe12f9916eb3f886c6990b007fcc56281e66fc613883d0
|
| 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.38488416565-cp311-cp311-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp311-cp311-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.11 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
48df535241ff907c5e32b9cba18acb667d75f7572c662390628295197f124a01
|
|
BLAKE2b-256 checksum How to use checksums |
8dfc99165dc774291704f7030c37222376450e481552360fe3fbfed75c913664
|
| 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.38488416565-cp310-cp310-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
782b96e5a03e54518fc422401fa37b261ffb7a6608c64d34e7b83bc7ef944652
|
|
BLAKE2b-256 checksum How to use checksums |
1946490cfbc10d83aaff6a73ebbed24d5057266b726164bd88422614310794e4
|
| 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.38488416565-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
ddbf380c3ee9116603ccaa1a9e4217a1fbcbd00b1a5f3ff46d25c28fd84ddf78
|
|
BLAKE2b-256 checksum How to use checksums |
ce5a46dd8bbabbea9b887e8efc1ade625759aef62e80a04e63c9fecc339ec7fb
|
| 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.38488416565-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
d369402892582434d97c1742a66479bd3eb0f82c38e85bd56dd6a55ba1b2d4e5
|
|
BLAKE2b-256 checksum How to use checksums |
653d031e25fdd6d1e12bd27a3c267244483ba9f082ec183c19de18efd6f3f6ee
|
| 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.38488416565-cp310-cp310-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp310-cp310-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.10 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
e2acdc6cb97702bd97ed398232c40f2886494116754a8e5258daf7bca25aa652
|
|
BLAKE2b-256 checksum How to use checksums |
28494a53004cfea84c36911f8494eee7e79b3a618b5a61f6450a7bd62ea8f339
|
| 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.38488416565-cp39-cp39-manylinux_2_34_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
9bb1d81c922a95e8907cac6382d33822b12e81e010a7b214874d00782f811e7e
|
|
BLAKE2b-256 checksum How to use checksums |
8b4d2305c89aacedbc6be5863737c6aaf165a37354f8ed9cf02498f0d1f0fcad
|
| 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.38488416565-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
126d885eac93429bef8ed77c00b265d77f84b8fa1e28c0b1b9c903153bf5237b
|
|
BLAKE2b-256 checksum How to use checksums |
f70a920af17cbce5dcb87ee61f90a5c3ce052e41fedf1b702cbdde69ee214f6f
|
| 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.38488416565-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
| Download URL | pyboolector-3.2.4.38488416565-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 |
ee432d766c151bd6f37c99d28a2fe10a033039e3bd76b6dfca596b1d01df17aa
|
|
BLAKE2b-256 checksum How to use checksums |
5140f39372020ad33a9ce3fb3cd902be7287d65b327bea6c01aa6975eeb41c9a
|
| 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.38488416565-cp39-cp39-macosx_11_0_universal2.whl
| Download URL | pyboolector-3.2.4.38488416565-cp39-cp39-macosx_11_0_universal2.whl |
|---|---|
| Size | 2.1 MB |
| Tags | CPython 3.9 macOS 11.0+ universal2 (ARM64, x86-64) |
|
SHA-256 checksum How to use checksums |
75882df0b1714122bbd6359e534ec9bf3cd4e798eb66dc282ad499f6ed2a42d3
|
|
BLAKE2b-256 checksum How to use checksums |
40d81cfba6c5ba531d221116157821bd51ea5593e785a5db9eae389ec53314bd
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.12.3
|