Quality-of-life and extra features for python-sat
Project description
# Sugar Rush
Additions to python-sat (https://github.com/pysathq/pysat) to automate some things. Extra features: - Convert disjunction of CNFs to an equivalent CNF - Automatic optimization using ITotalizer (binary search)
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
sugarrush-0.0.4b1.tar.gz
(6.3 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.4b1.tar.gz.
File metadata
- Download URL: sugarrush-0.0.4b1.tar.gz
- Upload date:
- Size: 6.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.2.0 requests-toolbelt/0.9.1 tqdm/4.36.1 CPython/3.6.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 64b48c340d6d85d8b4c7f874012d04ad1bd0b282b3fed21b39f1f5315e0d59f1 |
|
| MD5 | 63b144e3214b15dd1cec16b43ac7b68f |
|
| BLAKE2b-256 | c780e503215a644f757bfe889ee3c885e572d32e5c323e8491ccfc42f6278c69 |
Provenance
File details
Details for the file sugarrush-0.0.4b1-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.4b1-py3-none-any.whl
- Upload date:
- Size: 9.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.15.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.2.0 requests-toolbelt/0.9.1 tqdm/4.36.1 CPython/3.6.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 934a76174ed5ca3a454b57c42a8cf3dbf3de337608b3cd9336e83da8a52bde94 |
|
| MD5 | c7f4db5b1a769030b578a4c10ae5d8d0 |
|
| BLAKE2b-256 | c72cc69c23fd99cfd414b433854909b076b2daaeca906a21c5c4ea1def5f9e76 |
