Metadata-Version: 2.1
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
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)
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
