Metadata-Version: 1.1
Name: pyPicosat
Version: 960.dev1610040809
Summary: Picosat SAT-Solver Wrapper
Home-page: https://github.com/pysmt/pyPicoSAT/
Author: PySMT Team
Author-email: info@pysmt.org
License: BSD
Description: 
        ==========================
        Picosat SAT-Solver Wrapper
        ==========================
        
        pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.
        
        To build this wrapper you need SWIG to be installed.
        
        Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/
        
Platform: UNKNOWN
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Libraries :: Python Modules
