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
Release history Release notifications | RSS feed
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.2.0.tar.gz
(60.4 kB
view hashes)
Built Distributions
Close
Hashes for zbitvector-1.2.0-pp310-pypy310_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d235741393c427591970ecde3027f56417f1630e0b4659a9ef33f0e5995008c7 |
|
MD5 | 5034dca57fdcc169089e1e627b7a4db2 |
|
BLAKE2b-256 | 7191bd940ca9d0ecb6378f8c3841abdd197999579c95f278da584b186a63b2fe |
Close
Hashes for zbitvector-1.2.0-pp310-pypy310_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8bdd55a73ac3ec3ac1beb882f972b22eaa70e9e5de4f25dfb63cb57328f1e020 |
|
MD5 | 0edff1778c51da5997cfc8969ba24648 |
|
BLAKE2b-256 | cbc2768eeca755a5bfaa57180e1ce71e479219f4695e5b0827a1e4d6cba45ced |
Close
Hashes for zbitvector-1.2.0-pp310-pypy310_pp73-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5a3e6159f645b978709cc5e7726a3acab72c6afe61a9c753645e06a8d653b9bd |
|
MD5 | 110ae40677e1db1e9a8a346787e66610 |
|
BLAKE2b-256 | 8c025e3f3bed48003212956ef31cc9ab5b31402c0a4543552f60c93b80d43c1d |
Close
Hashes for zbitvector-1.2.0-pp310-pypy310_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 90caf2dbf84a2c219a7cc3d249666fe8168e8d4146e7e72cc166052c2324800f |
|
MD5 | e1041e00f49a68cf80aa4019ea81a230 |
|
BLAKE2b-256 | 55d1205f56e0d9c1ed251ab9e1c42557b329e40a290eb413e8f89b31ca29b49b |
Close
Hashes for zbitvector-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e1ec3ef22c4ca7022d3c2fc7f474b952bfc7c2ea6c11844b79141829a28fdd43 |
|
MD5 | 59362f120512d79b69f4509a72f753f9 |
|
BLAKE2b-256 | 0367fbbfc2ff68cd6cb55f7701f24e14fc7cf8e543f7efe677ce468266f8a99e |
Close
Hashes for zbitvector-1.2.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f3c1c8a52d72fb241a2b1e4ee35a7428ff1d01128cffc63f7b0fca1646bccfc2 |
|
MD5 | 1902a52d9f8ce3622972aa18311accc0 |
|
BLAKE2b-256 | 77c8866f680571425d17b08b1915b5d35131352811de7b7793cd84d27d4cae6e |
Close
Hashes for zbitvector-1.2.0-pp39-pypy39_pp73-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e9300cf807337d1db9510d4c46cee92436ae1b49e0a2020d6e7ce43a511d8847 |
|
MD5 | 6b04e6be5e653fa168f7d1b82b81ded3 |
|
BLAKE2b-256 | e3590b12b780950bc32ac281108ebfa6c208c96c832d7e495e7ba12e16dab3fd |
Close
Hashes for zbitvector-1.2.0-pp39-pypy39_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fa6b90fa01031804cfa99b08dc5dadec5a80d67b4d30b28e9806f6133af8d9bc |
|
MD5 | 813c53c83fdcef36240e2b5bb27386f9 |
|
BLAKE2b-256 | 51567e8efba6458a43d9c4e91c9dfac10e897ccc95e6f55059ef8227c603c96b |
Close
Hashes for zbitvector-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c011af505d73f43985be79663038cbded6cc9c351c57552906d8fe3e03f6485e |
|
MD5 | 7818f4fcbee6cb5d41c20d693ef3e2c0 |
|
BLAKE2b-256 | 58fed3fdf2707b0a00133ae8cbc20b563b6b0d04ca3b3f7dfaef780daba987f6 |
Close
Hashes for zbitvector-1.2.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c56d42e311d716b1a2f47243f003305a12c2d3c7f9d6abfaf89fd18c45c767ad |
|
MD5 | a666b85661db443668981bf2816b2a5c |
|
BLAKE2b-256 | 98a1eb548e413565e1bf9ba26559d5ceb8de887cc18331d480a209e8350315ac |
Close
Hashes for zbitvector-1.2.0-pp38-pypy38_pp73-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1cc94031948c54bec4b93a1846e18ac93054645224b3ed29e7df00d1d1d0de77 |
|
MD5 | e4481ecb87b6d5ee9c65e58d61939312 |
|
BLAKE2b-256 | 45d422462e7d314c4759623986ea92ec651be40be59778502f7aec64bb2d60b7 |
Close
Hashes for zbitvector-1.2.0-pp38-pypy38_pp73-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 70ed04b620ce66b21b048d46cf33560e69f50deef1a2da029d5917df9006c456 |
|
MD5 | e4d860f5be91c8b26b8928debf99b482 |
|
BLAKE2b-256 | 93da568e72865c8a2c01fb901c339c7da00053ae6b436bfaef523191ff924821 |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-musllinux_1_1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6de089ee77d1a1ea95b2b57d0a6d5c197962c0d4b74e30bb4346b43209d7e071 |
|
MD5 | 031e758e83edb7225ded0a0817036ddd |
|
BLAKE2b-256 | c10ded1fd9b58c401c0ce916a25dfb0cb692aacc58e8f6e7a4d44f416eb544a6 |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-musllinux_1_1_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 945259c5d441c665059b996c54fc0fb635306202d0fc7c8c8bf8442809457bd3 |
|
MD5 | d7c08f67423bc8b9b823fa68f89ce06e |
|
BLAKE2b-256 | 18ecb003eb785c34b2ff904f00cd286c299c69930f13af97dc70500e15971a61 |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 029a4ff482682d15142b5a61bd892967575a29ad54bba0fb592c3274158f36f9 |
|
MD5 | c8d11d3ba6de1dfaab3355d650363733 |
|
BLAKE2b-256 | 81cc5252999d4485c6a3e0e42b95c0b69ebd9db9d075f8702eca55b8b8ca2d8b |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f352202cd65c3d890193e5e39776fbff26c9510047afc003eabdc6d85e938f7e |
|
MD5 | be1a8d6744a1a9bf52c971e6531911d8 |
|
BLAKE2b-256 | ad706554f169a0220dd416ef5a2cbe935dc553294dc8b9aad3cbe1376b74536f |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 41aff876912c7d62960f0ae8bd32465a102906f61df59b25c27599253b18d274 |
|
MD5 | 9fc93325777e858887b91008a96cbb4c |
|
BLAKE2b-256 | 965aea042cd54c5a4c3578dc29c056a5264ec3daa77398438ce207fbe8f38499 |
Close
Hashes for zbitvector-1.2.0-cp311-cp311-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | af5d4de9d2c66be70eaa051cab0f6dc4269d3a8019545ffa71ee0e8de6931c0b |
|
MD5 | 4e0df963c0d2e6a2961825585cefb6c0 |
|
BLAKE2b-256 | 0fe736743407d7fa41a078174346faa8fa20531fe85291c04138f483668f18e1 |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-musllinux_1_1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cbc79140e4c6bcd72404afa8a7f43c450a14668b1b811cbb15c8f2099c7a557e |
|
MD5 | aec5db62e931bde4f9f13cce784b5163 |
|
BLAKE2b-256 | 9394ea8ea65475ec38396d4e4a9f3d26e6eb54010697a03f321ad8c6c0fef47c |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-musllinux_1_1_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3532e6f116665f0f6803ca6f1205d30d234e09eb9b945c3f74a6c6b879b94698 |
|
MD5 | 9d271bdc65bfaec5759d053bf404fe1b |
|
BLAKE2b-256 | cd50e3f93a544333a5e431ea96a22e3cd0f886120aee2863ac9fc5cac34776c6 |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a4cacc0a80d3040d472f921d1b1637f472cdc4df5dc66c0ad4d973daa47dae65 |
|
MD5 | 26774b32d729145688129484ce30c9f1 |
|
BLAKE2b-256 | dcadd350f32dc2b1762c41c01921bc2d18904cd25d15ae8b69345340be00a4b9 |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6d57b8153fd73aedc240ee9145941fe7c5851035f35f17a1e12511a9128acbc5 |
|
MD5 | 1279fc361de877f3b1e580d3933590bd |
|
BLAKE2b-256 | b94306e31048e8542454a9157b3935bdca0d57022228ac97e08f95f30e735b24 |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 99798d3842dcb5002facde50215b72d2823491e127d4df63dc4c13114ca783d4 |
|
MD5 | a04b87c8b41c38d7552b0c5cd4bd9821 |
|
BLAKE2b-256 | 4af69a5f353bb973cc0924783c9382b828011204392cb877910684f5a6877956 |
Close
Hashes for zbitvector-1.2.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8fe98338697ad6a395748f8bcdc5c71a868f4d4115682f4c06604209b125c71b |
|
MD5 | c58177858e2488e61a59754ae0aef6cf |
|
BLAKE2b-256 | 2759020659dbf2286390cfddce49bcae037347ad7331539543f1dfc9a4a98f12 |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-musllinux_1_1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 282814724b93c4dfe4f0557350d784f458b2498c662b661a89bb3f667fce0cc4 |
|
MD5 | cec61d9baecb09ad3b3ba831ceeaf030 |
|
BLAKE2b-256 | 60108c9fe38645013ba37723c2513113e8f67b64b3a7dfc043adaa2288f3f468 |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-musllinux_1_1_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d1bbd3f32febbae4c0dc56f54929bf61820814d36972367afe6b72de5ab6151f |
|
MD5 | 943e9ab8e17785ecfc5cd34e25eab56c |
|
BLAKE2b-256 | 90ddb8a4a2c2c708ead0258a0a653b0de4f635d93588cf0cd73a767a19c3d23c |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | de4e4d0fb0a2bf4fdc51521daf35b487db5b164a018f84f6eff4c674575287b2 |
|
MD5 | e74324d8767bd523af84c6bb09783d17 |
|
BLAKE2b-256 | 0403c3ea46177aa5a714fd23d558160ba3eef71d49c3f8cb4c7791be7570d535 |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ceff8881973a0689d5bdd1a1dbdb0fac2b8a36e02f7ed6094e5b002007d8ac63 |
|
MD5 | 13b226ba3e0f5c339b63bcca8d197391 |
|
BLAKE2b-256 | c5630074947a81255050a4ab1a08269eabf3535fa85bb857f2e0d572fc26448d |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2cbf06303b0fc99cb61ce95394981c430010af8ede8bfea323f8bc4b865a188c |
|
MD5 | 48715f9a9d8665bb1cb43756b63b9fd6 |
|
BLAKE2b-256 | 965ea83016cacd6798a281c559f6f09355a7096485195bf1194fc6b16fff3d22 |
Close
Hashes for zbitvector-1.2.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1decbc2f40fea4e12c56b2c1d36651cf129e59a270a49d3b9667cd33cc995a61 |
|
MD5 | 0b3644d56cccbfe35bd9444811c2f9a1 |
|
BLAKE2b-256 | a863f4ad4f76669900dbd83149a6d9b46e154874f74c205263cf93a0c082215d |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-musllinux_1_1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b02f0ede1b8c73da998f438a9aee92b3d83621ea7d880aec5460238b9610f0be |
|
MD5 | 9d943ba6f0562a8f29e5bcafc4c7c45a |
|
BLAKE2b-256 | 59d71b7a5826ba0f0e7a7d5b7fde17a1f92706728d74e578508085e52676f584 |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-musllinux_1_1_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | abfe46816316729e92b4e70335e0d89778583371283610f8a7d388fd693eb6dc |
|
MD5 | 270feca138d1fac57c217b64ec41b85e |
|
BLAKE2b-256 | 093cea8b60ea86689e92c5265014996acb16da5a40c5916d61cd163411a82125 |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 83480027a2bcbd1b624617ab2705bf3f2066768590277d3179f0d03bb9b3faf9 |
|
MD5 | beaf6566b870c2d9f77f274cd7b33a20 |
|
BLAKE2b-256 | 894ee77fbf92f2c459a037f5707096e7649d198af0a3cf1f5a39144a0b0a1d60 |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 57656e888fa387aba5d4aaa480cd48914fee49918dc119a9ff15212779965b46 |
|
MD5 | a7870c9c11d7044379cfd4c1664d4d64 |
|
BLAKE2b-256 | 96271325ddfa539a8de2b3bf8598d097de2f1ea93a1d364f723e57a7ec7fb53d |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-macosx_11_0_arm64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 67941561c618c9a177dd182f2df10af29c231b37dbb6f6af77010eb44cf93fd3 |
|
MD5 | 16d6c0a0d10a229a596d4a1133348acf |
|
BLAKE2b-256 | 64b7210499de943320043cf13d4771d5bbf925004e767e6095fee27ab27a9d42 |
Close
Hashes for zbitvector-1.2.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c2fd31977b2c0624447c695a9523ea2448d33d5a3572b791685271a5bc749f0f |
|
MD5 | 80a98c7d8dea8553ba6189362cd31cbc |
|
BLAKE2b-256 | 64b8569974ad417e100e9a673124ac006d6b5662eed866bed87cd94d1991ba7a |