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/
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.dev1510241149.tar.gz
(443.4 kB
view hashes)
Close
Hashes for pyPicosat-960.dev1510241149.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | c92905f99d0f6cddb0fdaac28e1c8fe87c4118118e10b7127746904c5f3ae033 |
|
MD5 | 6ca650f144244261f442be3cb2199e00 |
|
BLAKE2b-256 | d002e27ad003a822d96b525b7ab31f517281167b9c84f9ae87a56f5c03cbc5be |