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

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

Branch: CURRENT, Version: 0.6.6, Package name: py311-cosat-0.6.6, 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:
[lang/python37]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 69.944 KB

Version history: (Expand)