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.dev1510251404.tar.gz
(443.4 kB
view hashes)
Close
Hashes for pyPicosat-960.dev1510251404.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | bd3e177c7a72ac848d73bd8e48ab36a0f6137dc11b79a70d766434874fd45768 |
|
MD5 | 0e694cf40af78dfa9d688937d9f8656b |
|
BLAKE2b-256 | c193453739655407a7706c2205e7c72ca35486b6a72c40d55b6afaf7aacd817d |