K 10
svn:author
V 5
koobs
K 8
svn:date
V 27
2014-08-23T07:11:36.337849Z
K 7
svn:log
V 337
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)

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.

WWW: https://github.com/ContinuumIO/pycosat

END