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

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for joeforker from gravatar.com joeforker

Credits

Author: Daniel Holth

License

MIT

Tags

picosat sat

Classifiers

Report project as malware

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
picosat-cffi-0.0.1.tar.gz 78.2 kB Details

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

Release history Release notifications | RSS feed

This release

0.0.1 This release

1 release file

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