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.1.tar.gz
(1.1 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.1.tar.gz.
File metadata
- Download URL: sugarrush-0.0.1.tar.gz
- Upload date:
- Size: 1.1 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 | 0c8829a696d32f026a0f93ab4154e9c65ef10ae3e5d0c1f1384d627766fe5471 |
|
| MD5 | 903d8989a67f52080baef8b39d27b613 |
|
| BLAKE2b-256 | f6a7510fcd004223e66adf7956c610ae634586cc024bc9a6e1173be72ee442d8 |
Provenance
File details
Details for the file sugarrush-0.0.1-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.1-py3-none-any.whl
- Upload date:
- Size: 2.3 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 | 14cc086d9e85c54bdb57c78b42e6a7edca7bb39dd208cd44158a82e79e26da1e |
|
| MD5 | 7f03c9392f92d0d00f471f87a4731aef |
|
| BLAKE2b-256 | 8e29f46e8afd9f42ff18f34c4dfe6626f58ffc605298132d1beb29a3fe5b2a83 |
