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.dev1510301911.tar.gz
(443.4 kB
view hashes)
Close
Hashes for pyPicosat-960.dev1510301911.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3121c501e90e980e5ba824f091ee7c2baa273cc73b19b2b6cf2ffc70b134eb31 |
|
MD5 | c3f63fd3b9ce01f1bc6b3ef39483c54a |
|
BLAKE2b-256 | 66e5a1c10ef4bbf2fc1dbe95f3fe4dd9e3d2f36b38dcd09484e0a0aeaffaf652 |