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.dev2.tar.gz
(5.0 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.3.dev2.tar.gz.
File metadata
- Download URL: sugarrush-0.0.3.dev2.tar.gz
- Upload date:
- Size: 5.0 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 | 2f6634fd1fad493deee5fd514fa3397972110383513d376672a99c830620d102 |
|
| MD5 | bed77d763fd2f5eb577c3cff29e81786 |
|
| BLAKE2b-256 | 5cb94e133dcf5d3ad6765a5669b832eedeac876aa650d4bdd83ed2e5d2695b26 |
Provenance
File details
Details for the file sugarrush-0.0.3.dev2-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.3.dev2-py3-none-any.whl
- Upload date:
- Size: 7.7 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 | dcb3d3cf77e38b6feb09a3315a339ca9cc7355e99f7c5d100f09631a5fe9c14b |
|
| MD5 | bb7a4ef363601ca2d3d3d7ec89d3c1d9 |
|
| BLAKE2b-256 | 771367d884e7a6df872e05029ac0a9590d8ba91838e262356ee85ab8bf6e45b7 |
