Skip to main content

A cffi binding for PicoSAT [1], a SAT solver written in C. This binding is designed to expose the whole PicoSAT API at a moderately low level.

0.0.1

  • Initial version

Metadata

Release files for picosat-cffi 0.0.1

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for picosat-cffi 0.0.1
File Size Uploaded Provenance Actions
picosat-cffi-0.0.1.tar.gz 78.2 kB Without provenance Details for picosat-cffi-0.0.1.tar.gz

Release files / picosat-cffi-0.0.1.tar.gz

Download URL picosat-cffi-0.0.1.tar.gz
Size 78.2 kB
Tags Source
SHA-256 checksum
How to use checksums
0e8e71fcd25803c09d409a11a5bbec3c5fc79f135d5be8b60458814a1e706afe
BLAKE2b-256 checksum
How to use checksums
54af528cfc41e17182b359a6be2ca05322b73fb9816bc364a0ee88bca9ae67d6
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No

Security for picosat-cffi 0.0.1

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.

To learn more about protecting yourself from malicious actors, visit our package security documentation.

Release history Release notifications | RSS feed

This release

0.0.1 This release

1 release file No provenance

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