Sisyphus repositório
Última atualização: 13 outubro 2019 | SRPMs: 17515 | Visitas: 15262982
en ru br
ALT Linux repositórios
S:0.6.1-alt4.git20140610

Group :: Desenvolvimento/Python
RPM: python-module-pycosat

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 0.6.1-alt4.git20140610
Data da compilação: 16 abril 2019, 02:24 ( 25.9 weeks ago )
Tamanho:: 53.48 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: Eugeny A. Rostovtsev (REAL)

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • python-module-pycosat
  • python-module-pycosat-debuginfo
  • python3-module-pycosat-debuginfo
  • python3-module-pycosat
ACL:
     
    projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    mantenedor atual: Michael Shigorin
    mantenedor da tradução: Fernando Martini aka fmartini © 2009