./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: py310-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:
[lang/python37]

Required to build:
[pkgtools/cwrappers]

Master sites:

RMD160: e9e83f2e76620095b89fd2801f1b0abbf78b5726
Filesize: 57.881 KB

Version history: (Expand)