Singapore Zenith - O(n) SAT Solver
Project description
The author of this package has not provided a project description
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
kissat_sovereign-1.0.5.tar.gz
(326.6 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 kissat_sovereign-1.0.5.tar.gz.
File metadata
- Download URL: kissat_sovereign-1.0.5.tar.gz
- Upload date:
- Size: 326.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
68fe905a4ae5d7dfe76f96c31e3c08d51e4eb9448e98a33d9a81dcae7af7e9a4
|
|
| MD5 |
2e0ca5d5ee419c83bf872b51e13294c5
|
|
| BLAKE2b-256 |
f3212226f37cdc0a2a714dbf12e5b0ece0fe8d0d035ed239e6d6391822a09951
|
File details
Details for the file kissat_sovereign-1.0.5-py3-none-any.whl.
File metadata
- Download URL: kissat_sovereign-1.0.5-py3-none-any.whl
- Upload date:
- Size: 86.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.13.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
ecabfb97c67c12d60c460d14355f67d7820a42821d765c5220600ce64d68f2c0
|
|
| MD5 |
79c4252fa6a7e05f4f2b78f7647a2efa
|
|
| BLAKE2b-256 |
ed246abb496c91142b935f57217d4b9c13a40987be98e41c4351e3e3b490e291
|
