Metadata-Version: 1.1
Name: picosat-cffi
Version: 0.0.1
Summary: Low-level CFFI bindings for PicoSAT
Home-page: http://bitbucket.org/dholth/picosat-cffi/
Author: Daniel Holth
Author-email: dholth@gmail.com
License: MIT
Description: A cffi binding for PicoSAT [1]_, a SAT solver written in C. This binding
        is designed to expose the whole PicoSAT API at a moderately low level.
        
        .. [1] http://fmv.jku.at/picosat/
        .. [2] http://fmv.jku.at/papers/Biere-JSAT08.pdf
        
        
        0.0.1
        =====
        - Initial version
        
Keywords: picosat sat
Platform: UNKNOWN
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.3
