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.dev1.tar.gz
(3.2 kB
view details)
Built Distribution
File details
Details for the file sugarrush-0.0.3.dev1.tar.gz.
File metadata
- Download URL: sugarrush-0.0.3.dev1.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 | 6be136251252871426cbb2fbc34db943f6ffb3961b91acfff977f9e233166db1 |
|
| MD5 | 6f6b214c6110099e45c1869abd462564 |
|
| BLAKE2b-256 | 9f2c7f90652b1f967737947dc561d74bc9e19d05abfe1d09cc1ad0ca7a455520 |
Provenance
File details
Details for the file sugarrush-0.0.3.dev1-py3-none-any.whl.
File metadata
- Download URL: sugarrush-0.0.3.dev1-py3-none-any.whl
- Upload date:
- Size: 4.9 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 | b017ee463374a4591f06c7fb4b5a06cd59ed6109126cc93a025c20cc826448d0 |
|
| MD5 | 243c177814e54371a1dcc28fe070388c |
|
| BLAKE2b-256 | 3e0ef1260cc181d5e869152e3d6860d0547d7fd642fb1f6b3e3292b7762e39a1 |
