./wip/py-cosat, bindings to picosat (a SAT solver)

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.6.1, Package name: py37-cosat-0.6.1, Maintainer: jihbed.research

PicoSAT is a popular SAT solver written by Armin Biere in pure C.
This package provides efficient Python bindings to picosat on the
C level, i.e. when importing pycosat, the picosat solver becomes
part of the Python process itself. For ease of deployment, the
picosat source (namely picosat.c and picosat.h) is included in
this project

Required to run:

Required to build:

Master sites:

SHA1: caf681b7e57d0bd0a7132175bdcf5f9846c48fb7
RMD160: e9e83f2e76620095b89fd2801f1b0abbf78b5726
Filesize: 57.881 KB

Version history: (Expand)