Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37040742
en ru br
ALT Linux repositórios
S:965-alt3

Group :: Ciências/Matemática
RPM: picosat

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 965-alt3
Data da compilação: 12 julho 2020, 12:02 ( 193.6 weeks ago )
Tamanho:: 58.38 Kb

Home page:   http://fmv.jku.at/picosat/

Licença: MIT
Sumário: PicoSAT solver
Descrição:

The SAT problem is the classical NP complete problem of searching for a
satisfying assignment of a propositional formula in conjunctive normal
form (CNF). General information on SAT can be found at www.satlive.org
or www.satlib.org.

Mantenedor currente: Eugeny A. Rostovtsev (REAL)

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • libpicosat
  • libpicosat-debuginfo
  • libpicosat-devel
  • picosat
  • picosat-debuginfo
  • python-module-picosat-debuginfo
  • python-module-picosat
  • python3-module-picosat
  • python3-module-picosat-debuginfo
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