Picosat SAT-Solver Wrapper
Project description
pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.
Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pyPicosat-960.160919.tar.gz
(443.4 kB
view details)
File details
Details for the file pyPicosat-960.160919.tar.gz.
File metadata
- Download URL: pyPicosat-960.160919.tar.gz
- Upload date:
- Size: 443.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
85da830866c947898d21bb2f031fcfb6061e9ff57ce2b9d28b7a8f115b305fa4
|
|
| MD5 |
43a9c14eb9a3a8436f67cc5a023299db
|
|
| BLAKE2b-256 |
c44b7dbbe13b0c67a9333401ff74ca636a5eaacdf0e8eedcb0a4ddca96b94e7a
|
