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/
Project details
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 hashes)
Built Distribution
Close
Hashes for pyPicosat-960.dev1610040809.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | a320db90273f9be3df31881db7767ddc83c80b8809fd6c2a49ce4e5ac59ffeaa |
|
MD5 | 7fc5c89f4b28cde048903dd6b1b7e769 |
|
BLAKE2b-256 | 822ebdf9f72a05e681f41abd630e01eba9a2cfc4fe4824ed151fa59b58d45136 |
Close
Hashes for pyPicosat-960.dev1610040809-py3.5-linux-x86_64.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5c2117c507d97fa55fd1a25952e83658a6dc66fc6273b0e6f4ea246785d18231 |
|
MD5 | 36cb5d0528e60ed1918c27ddc6442b53 |
|
BLAKE2b-256 | b3d10b7cbf0f68906def653e52b45d1bd38ecdc6bdab43ec6558c667e8cf6f3f |