Skip to main content

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)

Table of built distributions (wheels) for PyBoolector 3.2.2.350174618
File Interpreter ABI Platform
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.

Release history Release notifications | RSS feed

This release
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page