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
Close
Hashes for pyPicosat-960.dev1510241145.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5baa4ada92eb571fa8588786a663f680cd97e8023ba39e31cd74a878b7d223cd |
|
MD5 | 8fbac8b482eee78c188813b5fa59c125 |
|
BLAKE2b-256 | 6eacf4f0125bad7df5969ebf262c2a306536c8ea9d93f5ea7234f9f5b722ab1e |