picosat-cffi 0.0.1

Low-level CFFI bindings for PicoSAT

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
MIT

Author

Daniel Holth

Pip

picosat-cffi==0.0.1

Classifiers

  • Programming Language :: Python
  • Programming Language :: Python :: 2
  • Programming Language :: Python :: 2.7
  • Programming Language :: Python :: 3
  • Programming Language :: Python :: 3.3
File Type Python Version Uploaded On Downloads
picosat-cffi-0.0.1.tar.gz Source May 10, 2013 1,728
Version Release Date
0.0.1 May 10, 2013
Date Package Version Action
Aug. 24, 2015, 11:59 p.m. picosat-cffi 0.0.1 Release Created
Aug. 24, 2015, 11:59 p.m. picosat-cffi Package Created