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.4b2.tar.gz
(6.2 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.4b2.tar.gz.
File metadata
- Download URL: sugarrush-0.0.4b2.tar.gz
- Upload date:
- Size: 6.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 | d48825b3b1db256a66544ded0bc06864b58ba97ffdd68d23e28b64d82b3d8f4c |
|
| MD5 | 485b5f0a5718d095531fcea3588b0205 |
|
| BLAKE2b-256 | e4bcb52cbd8b9def9c503a86e8daa834636a753982786db3001fbde1e292af44 |
Provenance
File details
Details for the file sugarrush-0.0.4b2-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.4b2-py3-none-any.whl
- Upload date:
- Size: 9.1 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 | a6dccd5db4ef36a441b4b2bb022df9c7dd4bb83109737155572199b0db13b9f4 |
|
| MD5 | a3c50a0c280734ae37a698b2aafaee5e |
|
| BLAKE2b-256 | 64e4226f797297a352c61ff0259f6baed5ea04b498d89dd0dfa615ecfcb6f4e8 |
