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.dev1610040808.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.dev1610040808.tar.gz.
File metadata
- Download URL: pyPicosat-960.dev1610040808.tar.gz
- Upload date:
- Size: 408.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
add7d60eb7bc5eca14feee47c73802b2fdedbaf9765345ff2de289bf085ce355
|
|
| MD5 |
abf6ec6713b65983431a8fb5189e8f6d
|
|
| BLAKE2b-256 |
c80fcdaa3243fa1fb1474a417e3da2923f9cd35a833412b4c1b704d4f900ab01
|
File details
Details for the file pyPicosat-960.dev1610040808-py2.7-linux-x86_64.egg.
File metadata
- Download URL: pyPicosat-960.dev1610040808-py2.7-linux-x86_64.egg
- Upload date:
- Size: 161.6 kB
- Tags: Egg
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
65999bdb351c6a691a8be2ea617f5e697f03d56cecc7383689c6e96b346b71fa
|
|
| MD5 |
5eed3e828088915fa077747361f829a7
|
|
| BLAKE2b-256 |
21a5a732a8a54a6431dd7b6614eb275dff545a3475cb357194bb15ee418cf0f5
|
