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-965.1708010052.tar.gz
(412.4 kB
view details)
File details
Details for the file pyPicosat-965.1708010052.tar.gz.
File metadata
- Download URL: pyPicosat-965.1708010052.tar.gz
- Upload date:
- Size: 412.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c3feb68fccedb3672d3431476b8c033131cc722d5f67b60164d4892e5eff71f0
|
|
| MD5 |
07fc0fb01bada3a48707d84cc57f7293
|
|
| BLAKE2b-256 |
5f97fbf0d21a5f8debc5ddd5bad5c346b99a73282dbcce47a6988b1361058a5e
|
