Picosat SAT-Solver Wrapper
Project description
pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.
To build this wrapper you need SWIG to be installed.
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.dev1610040809.tar.gz
(408.8 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file pyPicosat-960.dev1610040809.tar.gz.
File metadata
- Download URL: pyPicosat-960.dev1610040809.tar.gz
- Upload date:
- Size: 408.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a320db90273f9be3df31881db7767ddc83c80b8809fd6c2a49ce4e5ac59ffeaa
|
|
| MD5 |
7fc5c89f4b28cde048903dd6b1b7e769
|
|
| BLAKE2b-256 |
822ebdf9f72a05e681f41abd630e01eba9a2cfc4fe4824ed151fa59b58d45136
|
File details
Details for the file pyPicosat-960.dev1610040809-py3.5-linux-x86_64.egg.
File metadata
- Download URL: pyPicosat-960.dev1610040809-py3.5-linux-x86_64.egg
- Upload date:
- Size: 158.5 kB
- Tags: Egg
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
5c2117c507d97fa55fd1a25952e83658a6dc66fc6273b0e6f4ea246785d18231
|
|
| MD5 |
36cb5d0528e60ed1918c27ddc6442b53
|
|
| BLAKE2b-256 |
b3d10b7cbf0f68906def653e52b45d1bd38ecdc6bdab43ec6558c667e8cf6f3f
|
