zbitvector

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 (QF_BV).

import typing
import zbitvector

Uint8 = zbitvector.Uint[typing.Literal[8]]
Uint64 = zbitvector.Uint[typing.Literal[64]]

Uint64("A") + Uint64(1)
# => Uint64(`(bvadd A #x01)`)

Uint64("A") + Uint8(1)
# fails to typecheck

Project homepage →

Project details

Release history Release notifications | RSS feed

1.4.0

Oct 27, 2024

1.3.0

Sep 6, 2023

1.2.0

Aug 10, 2023

This version

1.0.0

Jul 15, 2023

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

zbitvector-1.0.0.tar.gz (56.8 kB view details)

Uploaded Jul 15, 2023 Source

Built Distributions

zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 11.0+ ARM64

zbitvector-1.0.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 10.9+ x86-64

zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 11.0+ ARM64

zbitvector-1.0.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 10.9+ x86-64

zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 11.0+ ARM64

zbitvector-1.0.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl (1.4 MB view details)

Uploaded Jul 15, 2023 PyPy macOS 10.9+ x86-64

zbitvector-1.0.0-cp311-cp311-musllinux_1_1_x86_64.whl (2.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 musllinux: musl 1.1+ x86-64

zbitvector-1.0.0-cp311-cp311-musllinux_1_1_aarch64.whl (2.4 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 musllinux: musl 1.1+ ARM64

zbitvector-1.0.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.9 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-cp311-cp311-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 macOS 11.0+ ARM64

zbitvector-1.0.0-cp311-cp311-macosx_10_9_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.11 macOS 10.9+ x86-64

zbitvector-1.0.0-cp310-cp310-musllinux_1_1_x86_64.whl (2.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 musllinux: musl 1.1+ x86-64

zbitvector-1.0.0-cp310-cp310-musllinux_1_1_aarch64.whl (2.4 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 musllinux: musl 1.1+ ARM64

zbitvector-1.0.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-cp310-cp310-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 macOS 11.0+ ARM64

zbitvector-1.0.0-cp310-cp310-macosx_10_9_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.10 macOS 10.9+ x86-64

zbitvector-1.0.0-cp39-cp39-musllinux_1_1_x86_64.whl (2.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 musllinux: musl 1.1+ x86-64

zbitvector-1.0.0-cp39-cp39-musllinux_1_1_aarch64.whl (2.4 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 musllinux: musl 1.1+ ARM64

zbitvector-1.0.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-cp39-cp39-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 macOS 11.0+ ARM64

zbitvector-1.0.0-cp39-cp39-macosx_10_9_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.9 macOS 10.9+ x86-64

zbitvector-1.0.0-cp38-cp38-musllinux_1_1_x86_64.whl (2.6 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 musllinux: musl 1.1+ x86-64

zbitvector-1.0.0-cp38-cp38-musllinux_1_1_aarch64.whl (2.4 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 musllinux: musl 1.1+ ARM64

zbitvector-1.0.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.0 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 manylinux: glibc 2.17+ x86-64

zbitvector-1.0.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (1.8 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 manylinux: glibc 2.17+ ARM64

zbitvector-1.0.0-cp38-cp38-macosx_11_0_arm64.whl (1.2 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 macOS 11.0+ ARM64

zbitvector-1.0.0-cp38-cp38-macosx_10_9_x86_64.whl (1.5 MB view details)

Uploaded Jul 15, 2023 CPython 3.8 macOS 10.9+ x86-64

File details

Details for the file zbitvector-1.0.0.tar.gz.

File metadata

Download URL: zbitvector-1.0.0.tar.gz
Upload date: Jul 15, 2023
Size: 56.8 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0.tar.gz
Algorithm	Hash digest
SHA256	`f25d3c4026fdbcbcdaf32901a1eab6ba423207fc17499a982b7cf41c6f8a04f0`
MD5	`06bf3d74ea8e12abb78ce9a13e7b8e0b`
BLAKE2b-256	`e2ffb8d22dd6852aee90a30157aa480b721e3b760e3701e0649674f0ec366e05`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: PyPy, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`7768c8abc3129a4436fb1906e616cb83e55b666d1c6f77eeb31127fa2c466c7a`
MD5	`072b1090b49c7251c6e169d570d49418`
BLAKE2b-256	`9bce9fc9e3b9f2df5c19d9a86b3cf3e97d55c780dfd3e064e051df256e49dc55`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`4af2ee47476d4b32f1f06e32e89ec499e94b715ebad4597cd28e2beef802313b`
MD5	`16e66684d6e7e17848534dcf3a0f8bc6`
BLAKE2b-256	`8cdce7e2c35fdd12d554ea9cc0053a6b3c67d2d751657ee230d741aa8a35d8e6`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: PyPy, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`3a4c91f63fb865f8598a2aff38793857dc6b6611ceedf1179b64574b63b671d8`
MD5	`fb297b002d19816174e335ba5ea42b81`
BLAKE2b-256	`01b52e4393ef60930f0d7bb509a70542dfe9fd665d64b806837755c889dd358f`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`32708281ecf4f3eaa32613095c5e3df63d25f88f72df0033d8656a0a17842f97`
MD5	`d730d9d5f86ff482afdce8825af44aa0`
BLAKE2b-256	`af2f33165a0ff0f2c0fd6d7ba3fc31274607233615c89d48de7300c4e2343327`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: PyPy, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`10ddca8dfbb93e22f336f0a3d4d85e3c73d7f36c265764b9e446c3f8c6a16180`
MD5	`d1367f7b868d73b5d0e8540c834eb84d`
BLAKE2b-256	`aa251ed3c70a08a2dc5d546b6280cd55b9fbdc174ed3e55dbf15b8a120f65617`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`8ef66102abf070a48d47d7d54c59f45e7b581959f17a2f0ebda8291947c391a6`
MD5	`3f7a1f52ab4d0ca67ef485eab441d81a`
BLAKE2b-256	`c8b297cea53d0c5bc16e1a72f6c208b67b2bc14af882e89e0a45dfaa73108f20`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: PyPy, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`67a81c3f2c0c2dfed3e113e10d62e53eee4802761d422119a8174da93def7c02`
MD5	`8000f08eaaf6a7be03c9d871f7b55683`
BLAKE2b-256	`e636763254cbeada8ddde6ba5df70246349b4ba6b5b8de1b47940c70d376d709`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`780a5ed59a0ccbbbeb87b746545d6d3ac47372aa90a9bf3feddba9c4ad49de10`
MD5	`88954c75d71fc6985867f5e803fb408b`
BLAKE2b-256	`9e3fa56561d3bdcb193f750477a9218240779446e5ee9a8a7f25d66465b2cdbb`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: PyPy, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`aaeacbad05c1758dce12581363a47f905e51c61e260a42730a93966dad6121df`
MD5	`d94742091d3edafa731b4bf92c3c3e96`
BLAKE2b-256	`873b824a8cab1036c268d0dd8856f82f95e1b797b1f96c2996bd19b000350ba0`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`f8c3b5144efd7b13fd0b40a26318ea9d079ee2892609a875e4e66205b2153633`
MD5	`93f345d9cee7c79151403ed31c32c839`
BLAKE2b-256	`71a61c08f8b95c2cba10500864ede66ca57ae3df9fda9a4d7fa081ba20e58ed3`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: PyPy, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`c7ae07030669c35d5e7c498ccd49d0be842c7bf5b1b550ff0e45337d33d08e2e`
MD5	`996e5951ad7b4d3c7004d62444c52d27`
BLAKE2b-256	`5176347bfd1c07d1e6d546be639684fa7a98489b46bde9243b11fc2fddde4452`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.4 MB
Tags: PyPy, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`b6a67915c4e35d01d2b689923f15d6bc02bb46addfbbc36cc9cfa2f8aabd0fbc`
MD5	`0e4487ee0de68ad1d78368b640119bff`
BLAKE2b-256	`3130a4ef33e1be28254e9e21387befb939a672d440af37c070cc1522063fd4d5`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-musllinux_1_1_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-musllinux_1_1_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.5 MB
Tags: CPython 3.11, musllinux: musl 1.1+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`a75ed62a8f5a684c01954b4b3beea65b666783f7e3e7eb1ca6331d110e1fcdb8`
MD5	`d82a33b443a5f78027c22abcfbf5831a`
BLAKE2b-256	`399d8744f0653a7211cc2301f408bf3c8e408977f42d5c028829163654e912dc`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-musllinux_1_1_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-musllinux_1_1_aarch64.whl
Upload date: Jul 15, 2023
Size: 2.4 MB
Tags: CPython 3.11, musllinux: musl 1.1+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-musllinux_1_1_aarch64.whl
Algorithm	Hash digest
SHA256	`399bf3cb60adf9002b09311f47de1ed0afcce72861a73da1c3acedf186d7dc51`
MD5	`460dc157d0e9bc998ed17662aab02acb`
BLAKE2b-256	`1a4c1e87cb1e068caf1fbf8b18dec6020dd17a5b7174588aec65bc5eef3d2335`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.0 MB
Tags: CPython 3.11, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`18e903db472c6f6b0319ce2cde7ecaeefe0b376cac057dc8a866d0be67c5053f`
MD5	`0767974dd774e104fa2427bc0f74c09e`
BLAKE2b-256	`12309a816e0c831e46ea53640c357083a9361d462f0ad373d41f8a6c3ef38403`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.9 MB
Tags: CPython 3.11, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`5c9bc22b193fd6b9e35f891280b6e6d4cb8dc124145fa5ee0451e2fda3890155`
MD5	`b61595a2add1d2e13c95da7e68e5b055`
BLAKE2b-256	`f759e5dd90c58fd1d95f3e92860f6157cfbd8460a71c88c37d0ae3f42f9fd741`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: CPython 3.11, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`60ec95682589db7c9d00ce13574083a2bd53434bd4b481f1ae8feb6704419544`
MD5	`288f61b2c99099bd32ced34f40e48c66`
BLAKE2b-256	`1574df50c6d95cef863fefa24d9513578d6472cd15ec1cf64be00580a7f55910`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp311-cp311-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp311-cp311-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: CPython 3.11, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`486e8874f34134fe3d61073c77dc2feb38679649a0767fdebdc68c9241da9b9d`
MD5	`76a806a125d889379dff583debfd733c`
BLAKE2b-256	`3601433a8ef85af8ea37c6e41cfc1aa6e71f78b50ecb866ef42122060887a187`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-musllinux_1_1_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-musllinux_1_1_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.5 MB
Tags: CPython 3.10, musllinux: musl 1.1+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`94eb57bc01b64da9a66937d0430bea8107ab53d51a01d01b938961ecc4edbfe1`
MD5	`4ff0517bd9026106d38d74190f360fa5`
BLAKE2b-256	`12ae3133d499a89409fe0c93ee81fd16bb97809de49bb21b5b3b12e296925d79`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-musllinux_1_1_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-musllinux_1_1_aarch64.whl
Upload date: Jul 15, 2023
Size: 2.4 MB
Tags: CPython 3.10, musllinux: musl 1.1+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-musllinux_1_1_aarch64.whl
Algorithm	Hash digest
SHA256	`a56cf1b3dab1fcf510b6f66ce4658c590db9f857fc7b0953310d9e72b6c394c3`
MD5	`6daf381b5a8dd103ccce2d12249d4484`
BLAKE2b-256	`274d73f48ad4b0b5891fe2e4e6201b42b719cc9bc8df9675ce0ffb3081f06709`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.0 MB
Tags: CPython 3.10, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`0a016c2d7dab6cabf94fa2cbab3f1f850b9185c3034bdf9b3d256dc8315bc62f`
MD5	`ba13a3dd83311c8054ee4be8c0b811f8`
BLAKE2b-256	`78de293e454a9f980d111735ad8358d1ec6a5c584d283b3ad340ba681f356117`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.8 MB
Tags: CPython 3.10, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`c3cf6df2afbcacf7c456f62842d24ba426596038b4cc6f65af3c27859579e361`
MD5	`8bf217828ac2d69311006e69b79f6de1`
BLAKE2b-256	`b9c2b3afee708893007b5f4b0dfcb4c2df059bfe6e389a0a81713dba9446cce7`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: CPython 3.10, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`471dac9eea8e0249c80110c0d90d9d5bc44cc4a87ef1db07457529284353508c`
MD5	`25fb12998b222fc1b6a1fde099d9bac4`
BLAKE2b-256	`39a97db73f05337d051f703e1424bb1a7750ed48d876621f8d1c1087ac64513d`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp310-cp310-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: CPython 3.10, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`b73252e7864045b567bb021c8b141afaf703792b562cad614dbaa120da201d49`
MD5	`e0c26712264b9b3ced1f93ec4d5e9d95`
BLAKE2b-256	`de7f70be336cc48a063b1467823753bcf8faa8744541ccc5255ba6764c5785d1`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-musllinux_1_1_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-musllinux_1_1_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.5 MB
Tags: CPython 3.9, musllinux: musl 1.1+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`a08bc5d01a8a6590d598a5864aee23d06d6f0ccdbb2ed605b38e6b41cc691710`
MD5	`782ecb3e8ce3c3f90755c3470de64ea2`
BLAKE2b-256	`578092b827b20cc3f18690f938e406e4cc22bfce9c4c7a0b6c4c14b1317afbf2`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-musllinux_1_1_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-musllinux_1_1_aarch64.whl
Upload date: Jul 15, 2023
Size: 2.4 MB
Tags: CPython 3.9, musllinux: musl 1.1+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-musllinux_1_1_aarch64.whl
Algorithm	Hash digest
SHA256	`5eefab254a1af420d19a84726030ca6cc86e8adeecb7ebf6506f27ccd62c8e7d`
MD5	`c0464404a70bea1404306266d2f150bd`
BLAKE2b-256	`d2301efe5383b4cd95473eb74c0541bda18befa3a2e7aeec2e0f0ba2e0d3a5bf`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.0 MB
Tags: CPython 3.9, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`eef246f94c9afd94e4bfa1753620805796da4996104edf3066a5c03fb3337bb7`
MD5	`cb34ca03f4aa09ebc8d507a6842de98a`
BLAKE2b-256	`2bbcbcc9eca55304301dce0177a536216f17ec484090a17f0919934b5e0fe291`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.8 MB
Tags: CPython 3.9, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`868d646bfe1f0d13c9e475c0adb7af7dba3a58e40355c28e90d5ec73d4666441`
MD5	`f4cbfb8ef1b589cdf478cef736c7386e`
BLAKE2b-256	`4d7a70f52e90ffa12413be23b57d6c41ec6245d1fcba79d1d7c032168ca85445`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: CPython 3.9, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`e85561cdd31ca35ce8fa64c36a1edc5e3a89ac9718cb62cab93f1796e283fb24`
MD5	`f3fa60ffe2f45a1a16e49ad23a0f63f4`
BLAKE2b-256	`29e3807c407c76523e127290c2d5140c7ef61d3fb6a8261bb124d640cfc0bf9b`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp39-cp39-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: CPython 3.9, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`7133c8b0e562ea7d9e977d8e58e07d492557e2b794b4da2af838ea52460e5c48`
MD5	`0bfc1b5564258d794fb9bf97a1a58677`
BLAKE2b-256	`fe85738f8d8c10bc3bf1de0cd759f697114072112bc743d7715b67d7d0210956`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-musllinux_1_1_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-musllinux_1_1_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.6 MB
Tags: CPython 3.8, musllinux: musl 1.1+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm	Hash digest
SHA256	`8f7f6d7ff277b74d898dfa8c663c32f01af3b6fb64efebd5e1008adc7522738f`
MD5	`cafd4df4d76be2c013b9e8014317c3f5`
BLAKE2b-256	`21abc17f209a1ce0656f40d892ddfee7611a307542659b5d5ff745e8367cc59e`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-musllinux_1_1_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-musllinux_1_1_aarch64.whl
Upload date: Jul 15, 2023
Size: 2.4 MB
Tags: CPython 3.8, musllinux: musl 1.1+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-musllinux_1_1_aarch64.whl
Algorithm	Hash digest
SHA256	`6486751e5f476d0ba1826574aadc45b706c0cd774b5dde2f79b413c0408d0e22`
MD5	`5ab820d8e6490ee49ff12160964408cd`
BLAKE2b-256	`782518deebd64cd1ba68b4357e10f5386965bee2475c6b4e94602203477931ed`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jul 15, 2023
Size: 2.0 MB
Tags: CPython 3.8, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`00bf276e68267137214de6fc47a59a2b650e148340708f685a810c6ac11f38e1`
MD5	`b8ee8e179ca35c9837910af5ecc72b2f`
BLAKE2b-256	`b7f247f523faacda3d9ffde4fd401b21a52cf453ef7cc50ee00d9be4d07c4524`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jul 15, 2023
Size: 1.8 MB
Tags: CPython 3.8, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`ae74df76f2d5902e3d88d68ae1988b1e451d76c5edb6935c11fd9ad590cc87f6`
MD5	`89eb3557006a8e1862e076c34ddc63f5`
BLAKE2b-256	`4641aa7b657026ead2c344b9998195b4794fc42f176ce9945c289b819926f503`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-macosx_11_0_arm64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-macosx_11_0_arm64.whl
Upload date: Jul 15, 2023
Size: 1.2 MB
Tags: CPython 3.8, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`492ee6e2bf720a1d104d0b37a9180a943c37ce1a86d30dc0f30f2e70bb9f8d3a`
MD5	`4fb835fc9f9bca343938be7fe6a86c2a`
BLAKE2b-256	`3b0c050214a7c0b07b3e4a08f8b905dcbbe9dcca665a09342cce79bd049d704d`

See more details on using hashes here.

File details

Details for the file zbitvector-1.0.0-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

Download URL: zbitvector-1.0.0-cp38-cp38-macosx_10_9_x86_64.whl
Upload date: Jul 15, 2023
Size: 1.5 MB
Tags: CPython 3.8, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/4.0.2 CPython/3.11.4

File hashes

Hashes for zbitvector-1.0.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`c6891f8b1cc2933a86b12aec85423b2a991b239716842258fd19c92a28f0bdba`
MD5	`07ec8edeb8338f59727381dbd80b4c8a`
BLAKE2b-256	`86a0d9bab890772f4d4cc1bb71b67a4a06f09f3be92abb216372dcf7c8a54bd6`

See more details on using hashes here.

zbitvector 1.0.0

Navigation

Verified details

Maintainers

Unverified details

Project links

Meta

Project description

Project details

Verified details

Maintainers

Unverified details

Project links

Meta

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata