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.2.tar.gz
(3.0 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.2.tar.gz.
File metadata
- Download URL: sugarrush-0.0.2.tar.gz
- Upload date:
- Size: 3.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 | f75bdf87488a022436d0b558320817e1aa0660c3ebe5efc2ad7843df483186b7 |
|
| MD5 | ff82dfcc78a59cdf38e2a8ec333261cd |
|
| BLAKE2b-256 | abe84e8149d68d678822de2a32a0b181b34689e6505f424e06273ca9d201c5dc |
Provenance
File details
Details for the file sugarrush-0.0.2-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.2-py3-none-any.whl
- Upload date:
- Size: 4.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 | b561d65ae85c8a7eae825625296b34fd80e02358cb7c0967a4945737d1185f45 |
|
| MD5 | 7dd01f6f21f2cd752e69c7390bd28ead |
|
| BLAKE2b-256 | 181d9b823ae34c2635973343ff53f00f69473da583bca7de5cb5e00d58fc3582 |
