A well-typed library for symbolic bitvectors
Project description
zbitvector is an efficient, well-typed interface to the Z3 and Bitwuzla SMT solvers. It can be used to represent and manipulate symbolic expressions in the theory of fixed-sized bitvectors and arrays (QF_BVA).
import typing
import zbitvector
Uint8 = zbitvector.Uint[typing.Literal[8]]
Uint64 = zbitvector.Uint[typing.Literal[64]]
Uint64("X") + Uint64(1)
# => Uint64(`(bvadd X #x01)`)
Uint64("X") + Uint8(1)
# fails to typecheck
Project details
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distributions
File details
Details for the file zbitvector-1.4.0.tar.gz
.
File metadata
- Download URL: zbitvector-1.4.0.tar.gz
- Upload date:
- Size: 61.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 035c7bfe31b82a4b7f0c5d2b813fe55f9b24aeb09f014af3aa7f576c414198a2 |
|
MD5 | 5dd5a3b629ff904aaa2f7261917b5354 |
|
BLAKE2b-256 | 0082e452b5b6bf801b83179af9801a455966b6fc235a75dc778e8cd8ef0177fb |
File details
Details for the file zbitvector-1.4.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 1.6 MB
- Tags: PyPy, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 91f4737f3669147f2dc23ea555233a05679361b783fc927f91de41a92968b68b |
|
MD5 | fee9338c84c61418a912e2fa4863004a |
|
BLAKE2b-256 | 961f25707718f1e1f09a9e1026b14af3f5c39a9768975f0639c1ef03fd62615c |
File details
Details for the file zbitvector-1.4.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 1.4 MB
- Tags: PyPy, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 336ac9bebb1bf53b9f125765323156d95e5b6a9c28e3257e198c2497666f3f9a |
|
MD5 | 186e1e35a4343e9c223bf5e943b1c422 |
|
BLAKE2b-256 | 2923a5ab4e4ff72c3c5481f9e4de87a07989a132038501c2da9c43f50bf21604 |
File details
Details for the file zbitvector-1.4.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: PyPy, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | a358f3e0edd031d3ed745f04253db13b1f85e8aafd87ff4b377929a73dcad52a |
|
MD5 | 1fcebfb0384f23b1d21287f3dcd8f797 |
|
BLAKE2b-256 | b4048acf061f39a83f9d3a71df5e9edb55facadc0cf559b3b41affb630d43aac |
File details
Details for the file zbitvector-1.4.0-pp310-pypy310_pp73-macosx_10_15_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp310-pypy310_pp73-macosx_10_15_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: PyPy, macOS 10.15+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | a6071b19aa5d1772f9b2301cb55436aa5f1eec993bc2f8943ac6d6a4ff538ae3 |
|
MD5 | 562f0c1eecd9c753b998d525171ec77f |
|
BLAKE2b-256 | 99c2fd311e82ddc3fe7be63a46050cd8dfdb85d753c28d30286896b3e4ff25d7 |
File details
Details for the file zbitvector-1.4.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 1.6 MB
- Tags: PyPy, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 13c5552d3a1582dff661e742b6cd8be7fd5a584b082586a3c7ed157a55052f7b |
|
MD5 | 738b157feac96782316bb1c28520eb35 |
|
BLAKE2b-256 | fdc5e6a09801f4643527a47a95531210ff13ffe671681c7e98a38e46a6868472 |
File details
Details for the file zbitvector-1.4.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 1.4 MB
- Tags: PyPy, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 619967c4a4dc559fd6327f5ea70fc7f2afa26c79cfbb7038a66841d4958c3cab |
|
MD5 | fb73f0359f02b593950ce05c91752afc |
|
BLAKE2b-256 | 2e05c223a45e0ff41258901c9afa1ecddb002417dfe8dec1a0f4b8111f2957af |
File details
Details for the file zbitvector-1.4.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: PyPy, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4e2d3bd2f5b4d02e86c8c893daa879313116b297967e4a8270949b54f2dbd305 |
|
MD5 | f99370d3d3fa01efe80d1ab690a91027 |
|
BLAKE2b-256 | 87c85717da0569d3645ea58b63d2d7d6a6697bfd8d54d3652a2fc205dd552bf2 |
File details
Details for the file zbitvector-1.4.0-pp39-pypy39_pp73-macosx_10_15_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp39-pypy39_pp73-macosx_10_15_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: PyPy, macOS 10.15+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 14d5f79d30b0fd347345804fd2180ba390321dd2e4dcace58f713780ea768fbf |
|
MD5 | edc36f5b76088be0d3a9e0dc113242b5 |
|
BLAKE2b-256 | 2f681edc105e2c4547eaef38b22e821e25bf890bf977369f24c1efc952d2c208 |
File details
Details for the file zbitvector-1.4.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 1.6 MB
- Tags: PyPy, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc4c9670d12d3a2baf1678d97431160dbe95fa842aff28076d687e1507d977f0 |
|
MD5 | 256e722d9429e96ecd0c44c6c42e6477 |
|
BLAKE2b-256 | 6eb6a6a02261e0fa3903ec3800ed74097e0001086b12fdb6fb6f87f25dbf82c1 |
File details
Details for the file zbitvector-1.4.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 1.4 MB
- Tags: PyPy, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5fc75898304c2418a63c9d9402cf1c740f1e2adc874d43b9c2a2574424f4a569 |
|
MD5 | e01f471647ef537e43e0354a9c3f721e |
|
BLAKE2b-256 | 9296e2d1483a14544f7f332a45933251eac629c43faa057016775cd16b81b5e7 |
File details
Details for the file zbitvector-1.4.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: PyPy, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 356d8d55123d0575357fde701f9fa4b213dae74d40736bf189a96d69621374c7 |
|
MD5 | 46696e48d29cd3aff3b36cdcfc3f6b20 |
|
BLAKE2b-256 | 80cf540157abfc9801fc12b83630e2fc812e6c4b865c1117896830558f43b4ea |
File details
Details for the file zbitvector-1.4.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: PyPy, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | d86e171b67385693e68ed5353d6ff4f80ccbbd8cea7fa4bee5f53dc7bd522c5f |
|
MD5 | 0b4f1a581c5dc34b31c469283a7555dc |
|
BLAKE2b-256 | 28ec1cba2bb2a249319c5f9f46c8eb10afccd2cb34e240a3e562552604e9cf03 |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.13, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0f790a09513bb619b1f1cab5311a734e8c2d892eb833211bf4e7f5bb7681927f |
|
MD5 | 2568b4a19fbbe863fc5387248286a525 |
|
BLAKE2b-256 | 4aa2bb12220ade0e682d4944de0249f02a35ae9bd98816cb493165193a164c1d |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.5 MB
- Tags: CPython 3.13, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5bbebbe610e10edb8397f0749a13f6b24ba3034060d4754745079bb9fcdd50cf |
|
MD5 | c9f240dfb369f95114b6e17ccf1c2581 |
|
BLAKE2b-256 | 961ddc25da3b35af89daad26217760401ca9255be1fe9ee6cf9eacecbb6d293c |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.2 MB
- Tags: CPython 3.13, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4168703abec605d4af05793eeb276498a601bdf8b1670da52001df2dab7a8b92 |
|
MD5 | e77604d1d9d685cbe8d4dd0d452f934b |
|
BLAKE2b-256 | 7e5c52488297b06992b3c3bb8d45e12fa912466db85c8ecdcc77a0d8e5ac2ccf |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.13, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 49308b20a63c9d3b80c08a2b619e1ec0e5cc7cbf64272f97d9e7b1e863cac7d6 |
|
MD5 | 5628e0d1a5bc00030140c3e786059d30 |
|
BLAKE2b-256 | 9c5f003ffa43157a4daff75e64e5b95490e28c022b2135b45d5a7ba9d4e0483c |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.13, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9d77949587f2ba3bcd0fcb8109ed175c0671aef7b81eac63c926c69d16787479 |
|
MD5 | 1c2ea3f90fbff109e3023a10a09afc61 |
|
BLAKE2b-256 | 64c9b7ead0907bd8dd78911cd968cf4fde234c9bdcbe42396e990cef06d368ae |
File details
Details for the file zbitvector-1.4.0-cp313-cp313-macosx_10_13_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp313-cp313-macosx_10_13_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.13, macOS 10.13+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | e79f7dbd44f1de57b0a86205b0a27f2205cc664a774b53c48d3e60944c4aba33 |
|
MD5 | f3ef7162d5ad6876b05dc974a9b8bc3f |
|
BLAKE2b-256 | 849c53a2f87658772f35c00e496c3c5804abb7db086d7c984ef676cc05b2fe9d |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.12, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4b1c9ab57782a72e590c85b01a6afae3c2bdeb171afb76a9bf20e58120865855 |
|
MD5 | 78cdce76f45b3f0a0c64312d5b220502 |
|
BLAKE2b-256 | c7a109eca244f70cd93909cfb92efc5af85c3e8bb78094c89e8fc2d3b2cea6f3 |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.5 MB
- Tags: CPython 3.12, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 340168a60916a7662bcd399d3d7f29674b1a2b649d8cf1d88ff829e50856766b |
|
MD5 | 39c0df9646c9a944d706aa6a62d6bb05 |
|
BLAKE2b-256 | 5b0b5494f2878b5246388f0c75228f8555427f785e8abc3a5025626a1501620c |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.2 MB
- Tags: CPython 3.12, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5e5b684c074c80f39ed106f1e2281b092b8b073948104d7dd0127a0158a27615 |
|
MD5 | eedbf392b48f3062cbd3a78121568d45 |
|
BLAKE2b-256 | c788764a08ec63a164b0dc8193758ee55899677be981b78e77dcbd6af4d50858 |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.12, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | dde031f058886920736a6db51305da617e003ba0740b655f1ccc3903f77ea992 |
|
MD5 | d06ec061a092270f555f8b8c4ea9e81e |
|
BLAKE2b-256 | 022d855db62eecbf1d7b44c874bd0a1326a14727d78465a26481340dbbaa1f09 |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.12, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 18817f90cca51f67cb95a36b3151216df43224fe4cb3ce409a1e7af9d36f0c58 |
|
MD5 | 14eadc15e92b0d27f62b8ed5fb74d22d |
|
BLAKE2b-256 | 9ba304d4f0c2a730664bafe3f90856307fff48456611881f61ab17b168760a7a |
File details
Details for the file zbitvector-1.4.0-cp312-cp312-macosx_10_13_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp312-cp312-macosx_10_13_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.12, macOS 10.13+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8674bac9a879cae1078c21923a8de834a1ab50fa9dafd51da3557719e368c3ba |
|
MD5 | abbc21810d78bd1ecb0ed71c8e72adc5 |
|
BLAKE2b-256 | 718a72d624011b6aaf4ebfa6f322c14637c6a1cfe05f2d65b8d8b128ab6652a9 |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.11, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6ef4a07f3428057380005e95e38225088fae2ab8c3c6682e0aec649b377f2414 |
|
MD5 | 19deeb009ee3a990d5ffb388ef0a021b |
|
BLAKE2b-256 | 6fb370d20d2ad0420a7e66d77392ba28125c6baf1d61141dde664849130b9368 |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.6 MB
- Tags: CPython 3.11, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 29f68661248cee8f069123c3bd89806971947f7fb5a5399e388398b2926e7598 |
|
MD5 | ddb3d3ee9a3ce865d192f2466e0e3f3b |
|
BLAKE2b-256 | 1a8f3d34aa9a0a8930343d0ec9fcc4d9e78977b44d4fbc8ba02f0295338aa3fc |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.2 MB
- Tags: CPython 3.11, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8df70838361345faa2739389042f0fb540520ee58a99ec6ceba88e44d01ad631 |
|
MD5 | 129712ca89d6518927299011a500dc3b |
|
BLAKE2b-256 | a522f52d7154bc343c206fe444f0fe25876b840b781d65b43bb7e2d0257a68e9 |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.11, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | e58281c47d46242d43d033920465ac4ebceee072e2c0da1422e3177a0372afe4 |
|
MD5 | dace43b0a6fe7d2828b487d621824172 |
|
BLAKE2b-256 | 1cf6c1809e87c7e20b5d435647a39273ea2fcc3ddd8478497cac347369fa22b8 |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.11, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 78f87a396d0f72561b1c89bd99598a2e690f5940745d109b507e4688ede14415 |
|
MD5 | 3cb5f070f68a1bedccfea46086c79b79 |
|
BLAKE2b-256 | 2af66c4f2b222fd319d84a6ca7a93c158736b575e501effb0b44a75671a540b6 |
File details
Details for the file zbitvector-1.4.0-cp311-cp311-macosx_10_9_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp311-cp311-macosx_10_9_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.11, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4a33edcede5e9c73cc93b801e1880445e9c75f3536952e5390226146ec968e83 |
|
MD5 | 968746ccea7f18101903d92d4f3ae5e2 |
|
BLAKE2b-256 | 3ca9a2facd67fe1c0bc5d1efdcdeb5492cd2feac7132d0884f18050ae2449c0b |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.10, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | bf8a04f5b5607a73c88d48241bb318f21127d47bb75ea903f7adfd2b32d7f9d6 |
|
MD5 | 5584ddf1598b653a2bf080022c7da54c |
|
BLAKE2b-256 | baeccf458d858b04d16cc937f39addb7d85639c09f1776fe9b47ebcd5a922180 |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.5 MB
- Tags: CPython 3.10, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 980d6682999cfcf5cf08eea6e0b50fefd26817d55fe3afde9b42606541c74f6a |
|
MD5 | 7f878425ee1d3882a735671e883ed390 |
|
BLAKE2b-256 | 5f33c649e4a00230de9447d84b39097068829c6be6484f33597ed0ed5fb03a95 |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.1 MB
- Tags: CPython 3.10, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0768459bc89519829469be4de1133d3052a5288cc945aa81c786f6994cd95184 |
|
MD5 | b57d09ff746b1c3fb9d9801a93ae2923 |
|
BLAKE2b-256 | 21e18ce5c11f926a2f7d212f3c141cb9b7b87a028dddb663be80a2aeda0ee4c4 |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.10, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7151fc2d2162b858212cf8e233cbbed4e5f72c065bd6e3fae1598a4f0ded2fee |
|
MD5 | 66567457556d87f1cde9157bcbb6d7c8 |
|
BLAKE2b-256 | 83bbbefb378cd5fc86e87c9b6acca2dcdf466bf1ea42d12ee5838ab6b9a2ba7e |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.10, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | fbe2e499a3350def256980aa27cb0b6041b9662ec4891e02dd8ea4fb925996c1 |
|
MD5 | ad8c6d51319ce140664145d250977dd8 |
|
BLAKE2b-256 | 53583805af57b263f612b600700c3e8b1e11f29a67b58edfa2c4256b7a1a9b0c |
File details
Details for the file zbitvector-1.4.0-cp310-cp310-macosx_10_9_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp310-cp310-macosx_10_9_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.10, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | f3e21dbf767b7d573999d8c1a19b68f7d525c682e78a5c50ebc7de289dc0dae0 |
|
MD5 | 3bd35571d0f4f96341b8cc7f924b4caa |
|
BLAKE2b-256 | 272bee4a397f6e5b31b0756b03354874a52f097658d2a71616e70b76e3ea8d1f |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.9, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | b85e04758bf8bd941bb4709a2434a57255d76dfd36e15da754919eec0e834283 |
|
MD5 | fca902c46c63fd698ada3cb5ea3aebf1 |
|
BLAKE2b-256 | 9550231688a67d318e5e494990c47c5b72a557d3eaeba97c618d71dad8ae00ee |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.5 MB
- Tags: CPython 3.9, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | ab366024a21750194f46ac73a46827e70117a84171074adfd81445fe2b609dd7 |
|
MD5 | 90f29eec17fe3b442393af2dd8cf2f10 |
|
BLAKE2b-256 | 89b25399b5ec285c9315ccfabdf4bc86e33e30aea7ea26ae37c19b0cbc3bc2e5 |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.1 MB
- Tags: CPython 3.9, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 274e1a4f76e238471399a0a14c8d8f4aa9b5066e7eea4aab559dd79c1fb4c641 |
|
MD5 | 45c6a0b1f4d7e110cd6c68f76cb00c95 |
|
BLAKE2b-256 | 131dff2c7c2259350109f8a6d096d40bd076c00cc310586bd3f501dedda34a0f |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.9, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | ca4e3d408a80cffc7d596e04214a8edb53d926b8a8fca3e0572a225eaa6e308c |
|
MD5 | a07f39c0ebfaee3cbea13e28cde38a3e |
|
BLAKE2b-256 | 54cb0ec1b6bc117d253e743da9ca3676396905b110f8000d36e13ef0cf275926 |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.9, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2cb4a8fb07a7e396e11dc6a3b9e2a9f7ae3feecc1042ce5d37ddced73497f3ca |
|
MD5 | 5dacfb84cf7d9c485426f5e1aa4c8879 |
|
BLAKE2b-256 | cc525eec381cadd87cd52fce56e2d8dbaa8776e1b9fb12528c40c8bfd27e0c21 |
File details
Details for the file zbitvector-1.4.0-cp39-cp39-macosx_10_9_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp39-cp39-macosx_10_9_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.9, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | bdee6028701c94bf3068acd724edbf3ee3e55eeebd51ac587209142c27275477 |
|
MD5 | 88061c13bcfc61d633608e4833540d26 |
|
BLAKE2b-256 | 65c3dca7c2688660bb0b9605a3b7fd9beabb9530439b34532c35cb523764d0ce |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-musllinux_1_1_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-musllinux_1_1_x86_64.whl
- Upload date:
- Size: 2.7 MB
- Tags: CPython 3.8, musllinux: musl 1.1+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 86e2762480e291afb471efcb4f23a88a6808b8d2b1c981a7ee70e349151c9273 |
|
MD5 | 6986d13fde8a634acd687e4d29dd560b |
|
BLAKE2b-256 | 3fc45e74e7dd59c876b1b94246388729512e42dd2759ccd1157da1c7b85fd3db |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-musllinux_1_1_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-musllinux_1_1_aarch64.whl
- Upload date:
- Size: 2.6 MB
- Tags: CPython 3.8, musllinux: musl 1.1+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 09da3a5cec4e5be8ffd355dceeca1934870324d16022121cd660bf5341e36d12 |
|
MD5 | a74e6699f4a12d4abd0b7f277df2b7ab |
|
BLAKE2b-256 | 52db8c4a06ead63b92b87a2c1209f951f4696e2d77755c89d6e7743ede04af21 |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Upload date:
- Size: 2.1 MB
- Tags: CPython 3.8, manylinux: glibc 2.17+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | e181be7ff75ed7fb4daed36f2166f1dd37021989cfb241eb91d952b550c2a2b5 |
|
MD5 | 75305d008f46a06535d5f4123718227d |
|
BLAKE2b-256 | e11d0fc2cc7cdddc5bf64afd3d7e4882017f2b01a39b8d5df2fde66b1e9795cc |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Upload date:
- Size: 2.0 MB
- Tags: CPython 3.8, manylinux: glibc 2.17+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | cc7af71b4b1a5d71572f8e3af0f3a0ba1b485c580b1d2344c17b5431faad85bf |
|
MD5 | a6ca323aba39f81abbca8c4a7743b31e |
|
BLAKE2b-256 | 466395d12ef9439e47410802fcae838c0fde2353086d7690d952c48787c4e940 |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-macosx_11_0_arm64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-macosx_11_0_arm64.whl
- Upload date:
- Size: 1.2 MB
- Tags: CPython 3.8, macOS 11.0+ ARM64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | da5a07720d661a6ca94d7b31ae32fbd32ea9f6d27d18b41bf1826498c8bc4fac |
|
MD5 | 3ec3ff3bdde45b282a7f46b5712b1797 |
|
BLAKE2b-256 | e2d1b210f882ac3a3d80546e4d4b4bc1737f9d14d0d45929146b772324c4cf08 |
File details
Details for the file zbitvector-1.4.0-cp38-cp38-macosx_10_9_x86_64.whl
.
File metadata
- Download URL: zbitvector-1.4.0-cp38-cp38-macosx_10_9_x86_64.whl
- Upload date:
- Size: 1.5 MB
- Tags: CPython 3.8, macOS 10.9+ x86-64
- Uploaded using Trusted Publishing? Yes
- Uploaded via: twine/5.1.1 CPython/3.12.7
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | b65ededc74f8262c0d045d49415e5f052765351c3478c43625080298c25c6bbc |
|
MD5 | f487cbadb7dc57bde9c45b65b5714d41 |
|
BLAKE2b-256 | 7877d8dc87eea89a5f644d1404917840b7d1046d3a7255576758ffcf24ec5f2a |