This package, specifically, enables the Boolector Python wrapper to be installed from PyPi
Metadata
Release files for PyBoolector 3.2.2.350174618
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| PyBoolector-3.2.2.350174618-cp39-cp39-macosx_10_9_arm64.whl | CPython 3.9 | CPython 3.9 | macOS 10.9+ ARM64 | Details |
Release files / PyBoolector-3.2.2.350174618-cp39-cp39-macosx_10_9_arm64.whl
| Download URL | PyBoolector-3.2.2.350174618-cp39-cp39-macosx_10_9_arm64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.9 macOS 10.9+ ARM64 |
|
SHA-256 checksum How to use checksums |
e4d00cc09c0003877f77ad09ae11785bb98fde008bd4ad6dad46f4e70b8af384
|
|
BLAKE2b-256 checksum How to use checksums |
faa423b5669a519b3f725d1410813cbdb070c1e5679c5a3b5e177462039e9bba
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.9.13
|
Security for PyBoolector 3.2.2.350174618
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
No provenance found
None of the files in this release were uploaded with provenance metadata.
A note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.