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.3.tar.gz
(3.2 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.3.tar.gz.
File metadata
- Download URL: sugarrush-0.0.3.tar.gz
- Upload date:
- Size: 3.2 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 | 206e49f1e92678e703711b3d39676a6431a2e101e530b73167c2fe3ec45f6ecf |
|
| MD5 | 88b13e78458b11a6ff97654c55360ae5 |
|
| BLAKE2b-256 | e1d0d27e18ecfe4d006706a6d2bfcd5ec760c1109e31eff80ebdab6ca6c65a37 |
Provenance
File details
Details for the file sugarrush-0.0.3-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.3-py3-none-any.whl
- Upload date:
- Size: 4.8 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 | 28dba04e2dd8930a74a50c31b5d9191f4158456c38f4c566a50a46ffa9005b5c |
|
| MD5 | 206f5b992f1d521122472bfadc01e622 |
|
| BLAKE2b-256 | 00f8be457422a74229cf2f8b92fed0c8679723d3dba04f230fa5e9f82ad9bd0f |
