skip to navigation
skip to content

Not Logged In

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.



  • Initial version
File Type Py Version Uploaded on Size
picosat-cffi-0.0.1.tar.gz (md5) Source 2013-05-10 76KB
  • Downloads (All Versions):
  • 6 downloads in the last day
  • 27 downloads in the last week
  • 103 downloads in the last month