Metadata-Version: 2.0
Name: sugarrush
Version: 0.0.3.dev1
Summary: Quality-of-life and extra features for python-sat
Home-page: https://github.com/jonatanwestholm/sugarrush
Author: Jonatan Westholm
Author-email: jonatanwestholm@gmail.com
License: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Description-Content-Type: text/markdown

# 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)

