Metadata-Version: 2.1
Name: satyrn
Version: 0.3.9
Summary: SAT Solver Interface
Home-page: UNKNOWN
Author: Jeffrey M. Hokanson
Author-email: jeffrey@hokanson.us
License: MIT
Project-URL: Source, https://github.com/jeffrey-hokanson/SATyrn
Description: # ♄ SATyrn: A SAT Solver Toolbox
        [![Travis (.org)](https://img.shields.io/travis/jeffrey-hokanson/satyrn.svg?style=flat-square)](https://travis-ci.org/jeffrey-hokanson/SATyrn)
        [![PyPI](https://img.shields.io/pypi/v/satyrn.svg?style=flat-square)](https://pypi.org/project/satyrn/)
        ![PyPI - License](https://img.shields.io/pypi/l/satyrn.svg?style=flat-square)
        
        An interface to SAT solvers.
        
        
        
        ## See Also
        
        * [pycosat](https://github.com/ContinuumIO/pycosat)
        * [pylgl](https://github.com/abfeldman/pylgl)
        
        
Platform: UNKNOWN
Classifier: Development Status :: 3 - Alpha
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: MIT License
Description-Content-Type: text/markdown
