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/
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 details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file pyPicosat-960.1708010010.tar.gz.
File metadata
- Download URL: pyPicosat-960.1708010010.tar.gz
- Upload date:
- Size: 408.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
70c9288d5824ff32c84abc0afc8d147bbc255d6618033543f3d3c78469aaaacd
|
|
| MD5 |
eb7566ef186e3b51b2ac4c51bd0b1fd2
|
|
| BLAKE2b-256 |
31adb5f0b725fab21d4bbb7129d8920ab1e391b867052bd0ce98577d167fa032
|
File details
Details for the file pyPicosat-960.1708010010-py3.5-linux-x86_64.egg.
File metadata
- Download URL: pyPicosat-960.1708010010-py3.5-linux-x86_64.egg
- Upload date:
- Size: 158.5 kB
- Tags: Egg
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1ea748ef6a6180eb9961df3e92f7610a5890a3770b4e88059092c7034f21427d
|
|
| MD5 |
589759b6e748f2a7634f8e49277f65ff
|
|
| BLAKE2b-256 |
fd5f9d7dda272605b1540dff0863812372e3802be44a0fe5cf3f8478cf3672e9
|
