Group :: Development/Python3
RPM: python3-module-pycosat
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 0.6.1-alt5
Data da compilação: 20 novembro 2019, 12:06 ( 227.3 weeks ago )
Tamanho:: 53.38 Kb
Home page: https://pypi.python.org/pypi/pycosat/
Licença: MIT
Sumário: Bindings to picosat (a SAT solver)
Descrição:
Lista dos contribuidores
Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 20 novembro 2019, 12:06 ( 227.3 weeks ago )
Tamanho:: 53.38 Kb
Home page: https://pypi.python.org/pypi/pycosat/
Licença: MIT
Sumário: Bindings to picosat (a SAT solver)
Descrição:
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. These
files have been extracted from the picosat source (picosat-954.tar.gz).
Mantenedor currente: Andrey Bychkov 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. These
files have been extracted from the picosat source (picosat-954.tar.gz).
Lista dos contribuidores
- python3-module-pycosat-debuginfo
- python3-module-pycosat