bitwuzla

Bitwuzla Satisfiability Modulo Theories Solver

These details have been verified by PyPI

Project links

GitHub Statistics

Maintainers

aniemetz mpreiner

These details have not been verified by PyPI

Project links

Project description

The author of this package has not provided a project description

Project details

These details have been verified by PyPI

Project links

GitHub Statistics

Maintainers

aniemetz mpreiner

These details have not been verified by PyPI

Project links

Release history Release notifications | RSS feed

This version

0.9.0

Mar 17, 2026

Download files

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

Source Distribution

bitwuzla-0.9.0.tar.gz (2.4 MB view details)

Uploaded Mar 17, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

bitwuzla-0.9.0-cp314-cp314-win_amd64.whl (3.9 MB view details)

Uploaded Mar 17, 2026 CPython 3.14Windows x86-64

bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.14manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.14manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.14macOS 15.0+ x86-64

bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.14macOS 15.0+ ARM64

bitwuzla-0.9.0-cp313-cp313-win_amd64.whl (3.8 MB view details)

Uploaded Mar 17, 2026 CPython 3.13Windows x86-64

bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.13manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.13manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.13macOS 15.0+ x86-64

bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.13macOS 15.0+ ARM64

bitwuzla-0.9.0-cp312-cp312-win_amd64.whl (3.8 MB view details)

Uploaded Mar 17, 2026 CPython 3.12Windows x86-64

bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.12manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.12manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.12macOS 15.0+ x86-64

bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.12macOS 15.0+ ARM64

bitwuzla-0.9.0-cp311-cp311-win_amd64.whl (3.8 MB view details)

Uploaded Mar 17, 2026 CPython 3.11Windows x86-64

bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.11manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.11manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.11macOS 15.0+ x86-64

bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.11macOS 15.0+ ARM64

bitwuzla-0.9.0-cp310-cp310-win_amd64.whl (3.8 MB view details)

Uploaded Mar 17, 2026 CPython 3.10Windows x86-64

bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.10manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.10manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.10macOS 15.0+ x86-64

bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.10macOS 15.0+ ARM64

bitwuzla-0.9.0-cp39-cp39-win_amd64.whl (3.8 MB view details)

Uploaded Mar 17, 2026 CPython 3.9Windows x86-64

bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl (2.5 MB view details)

Uploaded Mar 17, 2026 CPython 3.9manylinux: glibc 2.24+ x86-64manylinux: glibc 2.28+ x86-64

bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl (2.2 MB view details)

Uploaded Mar 17, 2026 CPython 3.9manylinux: glibc 2.24+ ARM64manylinux: glibc 2.28+ ARM64

bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl (2.3 MB view details)

Uploaded Mar 17, 2026 CPython 3.9macOS 15.0+ x86-64

bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl (2.0 MB view details)

Uploaded Mar 17, 2026 CPython 3.9macOS 15.0+ ARM64

File details

Details for the file bitwuzla-0.9.0.tar.gz.

File metadata

Download URL: bitwuzla-0.9.0.tar.gz
Upload date: Mar 17, 2026
Size: 2.4 MB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0.tar.gz
Algorithm	Hash digest
SHA256	`59a12aad3b175c5a6340c25b381cda93154cf1d4c57ee3e9fe7389e1ba53bb0f`
MD5	`5a2bd64b513f2b6dc2fd7e0120384910`
BLAKE2b-256	`fe347235dab6a112fbd3051c48bf9164b995ce337ef67787971550f3c9972a45`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0.tar.gz:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0.tar.gz
- Subject digest: 59a12aad3b175c5a6340c25b381cda93154cf1d4c57ee3e9fe7389e1ba53bb0f
- Sigstore transparency entry: 1113676944
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp314-cp314-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp314-cp314-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.9 MB
Tags: CPython 3.14, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp314-cp314-win_amd64.whl
Algorithm	Hash digest
SHA256	`f27a64a9c4e504da22f1038764aba3f037225b09d68428d1a6fca1663ba3da7b`
MD5	`d8da0abfadb02eca4e8fad29cd28cb22`
BLAKE2b-256	`8d46d978304db7f6bb9a559fa67cc1c42afa46d2ef169e6f5968126d00a3262c`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp314-cp314-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp314-cp314-win_amd64.whl
- Subject digest: f27a64a9c4e504da22f1038764aba3f037225b09d68428d1a6fca1663ba3da7b
- Sigstore transparency entry: 1113677426
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.14, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`cc1d53fbfdf234dd37585a756866546f692d0058317cf84174eda6ee519fd2ed`
MD5	`f5e6ea235856aa51e1bf24fe4b6acee2`
BLAKE2b-256	`1f15c27cd031b6eb3bc3a9693ee7564c5d17606c43f481399b6a14ae1709485d`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: cc1d53fbfdf234dd37585a756866546f692d0058317cf84174eda6ee519fd2ed
- Sigstore transparency entry: 1113677033
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.14, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`2a539f0bf53b7381e3c7c3d356523f8d881250a831fa32dfffec657e9715e3a9`
MD5	`c34b12ac86351d0dc8a1ba926b62e1fd`
BLAKE2b-256	`d69a305f2c79f91d84f547cca83e6ec831424e087ada149262d52cf9b40d3210`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp314-cp314-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 2a539f0bf53b7381e3c7c3d356523f8d881250a831fa32dfffec657e9715e3a9
- Sigstore transparency entry: 1113677448
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.14, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`a3425b774ac0ed5b8bb1ac6076ce3535c549c8efdcf8f7c7675cb355fc430765`
MD5	`36f5233638be0429023c2f64e333ea72`
BLAKE2b-256	`2e80cebf12a8e684b94802a3837da903ac9f7ace873e117d300ebd278727adf1`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp314-cp314-macosx_15_0_x86_64.whl
- Subject digest: a3425b774ac0ed5b8bb1ac6076ce3535c549c8efdcf8f7c7675cb355fc430765
- Sigstore transparency entry: 1113677379
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.14, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`77ca49cd7886aed7255acae63279e2ad101219c332fae7f958b13bb72368ff28`
MD5	`4e16b3e24b018f7fc964d6e06d7dacb3`
BLAKE2b-256	`1dc3f136831ddcb8aa7afff88bc02a90f014528a32a085533039f6250ddfa0b4`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp314-cp314-macosx_15_0_arm64.whl
- Subject digest: 77ca49cd7886aed7255acae63279e2ad101219c332fae7f958b13bb72368ff28
- Sigstore transparency entry: 1113677049
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp313-cp313-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp313-cp313-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.8 MB
Tags: CPython 3.13, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp313-cp313-win_amd64.whl
Algorithm	Hash digest
SHA256	`2d59fdae5c2717837e2853617dcc49b136ab9b0cddfd605d4657d1fd0f42be15`
MD5	`63c9d94393853408f4f79c3a16fc12e6`
BLAKE2b-256	`31394b7c2d5e7b1852ac4607a52877c6d2c362960ca21820f79160e7ea997d93`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp313-cp313-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp313-cp313-win_amd64.whl
- Subject digest: 2d59fdae5c2717837e2853617dcc49b136ab9b0cddfd605d4657d1fd0f42be15
- Sigstore transparency entry: 1113677338
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.13, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`53808ac321b2bc5947af1343e22ffb4af241cd41fdf5a1c001c66fe6392362eb`
MD5	`4c1391432deaef3f42a46fe35ded06c0`
BLAKE2b-256	`93dfa40f6a1646ac7cdf527426a6e79d39cc5091deecdac69e576321b793ac8c`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 53808ac321b2bc5947af1343e22ffb4af241cd41fdf5a1c001c66fe6392362eb
- Sigstore transparency entry: 1113677070
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.13, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`f0f84a74da9a4dcf1aec7c228a413d374e6c6a42f9ff05b80569a44d56b78c0a`
MD5	`b8cda01f69073e2cc0fc038863967eb9`
BLAKE2b-256	`a3a00e0d59b8be30d90e1ce432d2d5c0ee8c901a5c45b5e5dc9d7104e14f25f0`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp313-cp313-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: f0f84a74da9a4dcf1aec7c228a413d374e6c6a42f9ff05b80569a44d56b78c0a
- Sigstore transparency entry: 1113677132
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.13, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`e3cb732fef4047a534342e5660dd8d5d9fe7679fdf415cb2b70d718b2565974f`
MD5	`029c49994c9525ab2cb296dd6c8b42aa`
BLAKE2b-256	`694133bd05ea97ec917a82640b9d1d4b78e9287eec86bbf5c26cea402b5a8ef4`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp313-cp313-macosx_15_0_x86_64.whl
- Subject digest: e3cb732fef4047a534342e5660dd8d5d9fe7679fdf415cb2b70d718b2565974f
- Sigstore transparency entry: 1113677509
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.13, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`7348b8459f820ba32f5aea0dc8ce30f9c542644f2c21043585dde3224ae400ba`
MD5	`061b35dba51b9b75817aca6989084cd4`
BLAKE2b-256	`d56727c0d60e911e72253219de0a9e9342cd62e4ebbbf157556278863c353c05`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp313-cp313-macosx_15_0_arm64.whl
- Subject digest: 7348b8459f820ba32f5aea0dc8ce30f9c542644f2c21043585dde3224ae400ba
- Sigstore transparency entry: 1113677487
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp312-cp312-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp312-cp312-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.8 MB
Tags: CPython 3.12, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp312-cp312-win_amd64.whl
Algorithm	Hash digest
SHA256	`3b9f05658ed5793fa4d8d16d06019a075c5356d75fd5a359347ce23eda8e0492`
MD5	`9cc279a97c201c7d38603186a368d535`
BLAKE2b-256	`dbbac7da8f5f73864178d269a9754d15546d36f4c02deeacd6a210ada282558a`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp312-cp312-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp312-cp312-win_amd64.whl
- Subject digest: 3b9f05658ed5793fa4d8d16d06019a075c5356d75fd5a359347ce23eda8e0492
- Sigstore transparency entry: 1113677094
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.12, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`2384d735af514f5a808ca2a1f40a352140f402b91c031de7fee02166fc920e8d`
MD5	`da92a4270ec592082773805973d55d37`
BLAKE2b-256	`b1b3b37bbb8e34dd1a63a15061612b541725863276c92557c64e88e8b12c7ddb`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 2384d735af514f5a808ca2a1f40a352140f402b91c031de7fee02166fc920e8d
- Sigstore transparency entry: 1113677279
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.12, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`0b2f223cefe9432dca63cbbf7ecab239743b599c450aeb1878e342584060e2f5`
MD5	`adbda3d88fe29c987b3bfb26e40c252c`
BLAKE2b-256	`4631294b09df7d34dfbad254872599cf0f4220e6b37149d0ae9a733c51e5f58e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp312-cp312-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 0b2f223cefe9432dca63cbbf7ecab239743b599c450aeb1878e342584060e2f5
- Sigstore transparency entry: 1113677301
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.12, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`d643d22d4cf56e1f84dcaa674ac7bd2597f5a2f5f5cd383950fe1b4c0561052e`
MD5	`22bf0d63284bcb726eb635d96258adc7`
BLAKE2b-256	`cfbc37d3e00077880a21ad293345007b240f4c285d5a994766176dd7a5b49dc0`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp312-cp312-macosx_15_0_x86_64.whl
- Subject digest: d643d22d4cf56e1f84dcaa674ac7bd2597f5a2f5f5cd383950fe1b4c0561052e
- Sigstore transparency entry: 1113677112
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.12, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`4295f508fca3860917436d5052f13eebbf9ab24deaf16233f566ed4c39718e1a`
MD5	`5392c5e97143d08c5d01a9aa18094b7c`
BLAKE2b-256	`b5f020981e3350f1f07dcd765e1581f76a113a9ad4e0fa0043bc064ddc8f8974`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp312-cp312-macosx_15_0_arm64.whl
- Subject digest: 4295f508fca3860917436d5052f13eebbf9ab24deaf16233f566ed4c39718e1a
- Sigstore transparency entry: 1113677359
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp311-cp311-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp311-cp311-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.8 MB
Tags: CPython 3.11, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp311-cp311-win_amd64.whl
Algorithm	Hash digest
SHA256	`1f2e15a9aab25c7e9aaa144a6e680eab775d3ff2c157efc9018467cca458392e`
MD5	`187f88d4478bae7de03095d47c3229a1`
BLAKE2b-256	`f6281933864d402e6538f3177e4f55153906646b9bc8b62a6c42a327c071caf2`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp311-cp311-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp311-cp311-win_amd64.whl
- Subject digest: 1f2e15a9aab25c7e9aaa144a6e680eab775d3ff2c157efc9018467cca458392e
- Sigstore transparency entry: 1113676990
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.11, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`084a815d395dfeb1dab3df8fe3aea29c3788c639a6c5c0a642f760ec8b8de5fa`
MD5	`1e42b3dba850665e2f6e29e7869f0c95`
BLAKE2b-256	`3922098e15e434d492a75927fd04b9ec52ae0576289f463c3bfde4c0697b4cac`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 084a815d395dfeb1dab3df8fe3aea29c3788c639a6c5c0a642f760ec8b8de5fa
- Sigstore transparency entry: 1113677259
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.11, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`f27514a580c52c76811b267060cf8299fafda7f0c5e1915d46765aa274b3fc45`
MD5	`ae7a29e5e5b924937569b8eb739ad410`
BLAKE2b-256	`ca20ba22cf2e365925b911deb070d3f7cfdff00bbbe258eef3119afd6e8d18fd`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: f27514a580c52c76811b267060cf8299fafda7f0c5e1915d46765aa274b3fc45
- Sigstore transparency entry: 1113676966
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.11, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`4b6655ff0f890678d529defc7404a209d509942ac7f8226059207130eda09ca6`
MD5	`7c7035ca5d5419abf45e75ac0913a11f`
BLAKE2b-256	`196fb652ab4d1afe3f11c6fb677fb02d9fea03056adec6fabdef905f36bfe7fd`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp311-cp311-macosx_15_0_x86_64.whl
- Subject digest: 4b6655ff0f890678d529defc7404a209d509942ac7f8226059207130eda09ca6
- Sigstore transparency entry: 1113677410
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.11, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`f4644c13498e3748be29f3fa5dd4fa6ce7bffdf9cda8974bbb3139d55b60801c`
MD5	`ae361be328ee7f1f951f5c8e52f00f62`
BLAKE2b-256	`138e2e898d284e370746b61f1360e6fd415c3d0024fd080bb55f67e41d23e15d`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp311-cp311-macosx_15_0_arm64.whl
- Subject digest: f4644c13498e3748be29f3fa5dd4fa6ce7bffdf9cda8974bbb3139d55b60801c
- Sigstore transparency entry: 1113677395
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp310-cp310-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp310-cp310-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.8 MB
Tags: CPython 3.10, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp310-cp310-win_amd64.whl
Algorithm	Hash digest
SHA256	`b16d553dc5e25600fb67e1d0c8238c7d0efd9a2adf6d16dba616f38f0416bf1a`
MD5	`bfd8c006a120967fbfdbf953e27b24a5`
BLAKE2b-256	`fcda3044b11dca0d0cdf957d462f0672fc1e5f2f74dd47503fd72e838e50f2e4`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp310-cp310-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp310-cp310-win_amd64.whl
- Subject digest: b16d553dc5e25600fb67e1d0c8238c7d0efd9a2adf6d16dba616f38f0416bf1a
- Sigstore transparency entry: 1113677551
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.10, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`b66378387923b304c47ddd900e8ab6156d4581140f6fe3526c6f58f8477dc20a`
MD5	`e574ad8195572e79eaafb89f3fb6f0e1`
BLAKE2b-256	`94a3f789752ea07ed1d73ed549b616594f76f86b03455faeb355735787f39760`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: b66378387923b304c47ddd900e8ab6156d4581140f6fe3526c6f58f8477dc20a
- Sigstore transparency entry: 1113677020
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.10, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`62d3f21150d3f04c12fdb45ff1a55814faa0ed9547ca53a79ef87e4cf1a8563a`
MD5	`be901d02f77d8b457fd200a2ae7f5d2c`
BLAKE2b-256	`e196faf3825cda3e577234a2311449f7581c74e5356b352f897a33ebeb26aede`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp310-cp310-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 62d3f21150d3f04c12fdb45ff1a55814faa0ed9547ca53a79ef87e4cf1a8563a
- Sigstore transparency entry: 1113677320
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.10, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`e5655e95033848423de23097388b514fed8bed76a9174df072520a2b423e2259`
MD5	`6365a97ae1438dc426e3d07a15469208`
BLAKE2b-256	`c9b14642dc9df8b95d7dd504b182e532c09df5a110d7c819a3c3143bbdffdafe`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp310-cp310-macosx_15_0_x86_64.whl
- Subject digest: e5655e95033848423de23097388b514fed8bed76a9174df072520a2b423e2259
- Sigstore transparency entry: 1113677155
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.10, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`1e02dda6bf164057b4f0e1c3e8b81c6d47be58f6d47af417d21ca0f15ffb5e9b`
MD5	`fc7ccafe2379874a0cba838a57d896c0`
BLAKE2b-256	`b233dbde1f1f0e9f761d3532266743f60dacdc9313f1bd85d10b0b3435c5f69e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp310-cp310-macosx_15_0_arm64.whl
- Subject digest: 1e02dda6bf164057b4f0e1c3e8b81c6d47be58f6d47af417d21ca0f15ffb5e9b
- Sigstore transparency entry: 1113677468
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp39-cp39-win_amd64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp39-cp39-win_amd64.whl
Upload date: Mar 17, 2026
Size: 3.8 MB
Tags: CPython 3.9, Windows x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`3a2ab72805a00d053cbcd873d5861ba6f5d47bc8c1f5012ec6d85d58f6a1af96`
MD5	`f76bd89152e125a2163867266a5b0a62`
BLAKE2b-256	`ee2eb95ac80e6b5914d2b1698990d6edb642670565dc3af34baa61e204f92136`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp39-cp39-win_amd64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp39-cp39-win_amd64.whl
- Subject digest: 3a2ab72805a00d053cbcd873d5861ba6f5d47bc8c1f5012ec6d85d58f6a1af96
- Sigstore transparency entry: 1113677233
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.5 MB
Tags: CPython 3.9, manylinux: glibc 2.24+ x86-64, manylinux: glibc 2.28+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
Algorithm	Hash digest
SHA256	`55fa40d856f8f696c4c80a927dc228fb6c64eaaf00a5a88784c43ec22d3337c7`
MD5	`e430df3004414202cc1678a01a6d90a0`
BLAKE2b-256	`d8eff234665431218a444ed33442226608afe59b150721fdec590e1f337b9def`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_x86_64.manylinux_2_28_x86_64.whl
- Subject digest: 55fa40d856f8f696c4c80a927dc228fb6c64eaaf00a5a88784c43ec22d3337c7
- Sigstore transparency entry: 1113677170
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Upload date: Mar 17, 2026
Size: 2.2 MB
Tags: CPython 3.9, manylinux: glibc 2.24+ ARM64, manylinux: glibc 2.28+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
Algorithm	Hash digest
SHA256	`276e8a591b82c23b57270acf9348b46f3ec9ec0db6ccd8896703ae2905972ac1`
MD5	`66fe7e7e5a75730c955cdf9f37040325`
BLAKE2b-256	`583132cbf47c371a79fcc338bdf634c0deabb0ff074a2ce5921b890ddfbd5e1e`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp39-cp39-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl
- Subject digest: 276e8a591b82c23b57270acf9348b46f3ec9ec0db6ccd8896703ae2905972ac1
- Sigstore transparency entry: 1113677213
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl
Upload date: Mar 17, 2026
Size: 2.3 MB
Tags: CPython 3.9, macOS 15.0+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl
Algorithm	Hash digest
SHA256	`d866b22d9cf81ace252e83fdbb015faffcd0edc6070ce046f9a309b1a50b49be`
MD5	`43ed4811a6a5a6e6f3e939d8dfa0c9d9`
BLAKE2b-256	`e5834be8701726c1862b0c5f15f1b093e2efc11f6ef1cd8aa27a029c9919245b`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp39-cp39-macosx_15_0_x86_64.whl
- Subject digest: d866b22d9cf81ace252e83fdbb015faffcd0edc6070ce046f9a309b1a50b49be
- Sigstore transparency entry: 1113677521
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

File details

Details for the file bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl.

File metadata

Download URL: bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl
Upload date: Mar 17, 2026
Size: 2.0 MB
Tags: CPython 3.9, macOS 15.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl
Algorithm	Hash digest
SHA256	`44ef72d208ed65eca6c8a0781ac4e5ff1810fd25e83b03b4c3a8413adcfcc7eb`
MD5	`d40337ca0132ec1507eab1a80a266110`
BLAKE2b-256	`2bddedb3521bc360ce57e1cfc70dd13f4ff1b13a2573fd4b17614483b6a6b0e2`

See more details on using hashes here.

Provenance

The following attestation bundles were made for bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl:

Publisher: pypi.yml on bitwuzla/bitwuzla

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: bitwuzla-0.9.0-cp39-cp39-macosx_15_0_arm64.whl
- Subject digest: 44ef72d208ed65eca6c8a0781ac4e5ff1810fd25e83b03b4c3a8413adcfcc7eb
- Sigstore transparency entry: 1113677193
- Sigstore integration time: Mar 17, 2026
Source repository:
- Permalink: bitwuzla/bitwuzla@d13ef925d0cb22a8977db5072918e276526a735b
- Branch / Tag: refs/heads/main
- Owner: https://github.com/bitwuzla
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: pypi.yml@d13ef925d0cb22a8977db5072918e276526a735b
- Trigger Event: workflow_dispatch

bitwuzla 0.9.0

Navigation

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Project links

Meta

Project description

Project details

Verified details

Project links

GitHub Statistics

Maintainers

Unverified details

Project links

Meta

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata