Simple SAT solvers for use in Enstaller
Project description
UNKNOWN
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
simplesat-0.8.0.tar.gz
(206.4 kB
view details)
Built Distribution
simplesat-0.8.0-py2.py3-none-any.whl
(245.6 kB
view details)
File details
Details for the file simplesat-0.8.0.tar.gz
.
File metadata
- Download URL: simplesat-0.8.0.tar.gz
- Upload date:
- Size: 206.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 23332f8689b2214383564606155bf28d9875b3d28ef98cfc2965d57e693d60c1 |
|
MD5 | 47d8bf95fcef0a4526f786b0d76d162e |
|
BLAKE2b-256 | 5649728b13eebc8e8d62468db1b2df8916751db34710f851bb6d85df0f6c254f |
File details
Details for the file simplesat-0.8.0-py2.py3-none-any.whl
.
File metadata
- Download URL: simplesat-0.8.0-py2.py3-none-any.whl
- Upload date:
- Size: 245.6 kB
- Tags: Python 2, Python 3
- Uploaded using Trusted Publishing? No
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | ecec0c7ba3d8ca776dc705db3f93100c9da0058842bc623ef9739cfc44b9be38 |
|
MD5 | 4ebbbe985307f57ad5f8f352d6411896 |
|
BLAKE2b-256 | 0c1010ab93105c11efbbe6b4d5f98a8cbe020ee8ce7fcf08e84839fcf17aba45 |