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.1708010010.tar.gz
(408.7 kB
view hashes)
Built Distribution
Close
Hashes for pyPicosat-960.1708010010-py3.5-linux-x86_64.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1ea748ef6a6180eb9961df3e92f7610a5890a3770b4e88059092c7034f21427d |
|
MD5 | 589759b6e748f2a7634f8e49277f65ff |
|
BLAKE2b-256 | fd5f9d7dda272605b1540dff0863812372e3802be44a0fe5cf3f8478cf3672e9 |