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:
Lista dos contribuidores
Lista dos rpms provida por esta srpm:
ACL:
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) 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.
Lista dos contribuidores
- libpicosat
- libpicosat-debuginfo
- libpicosat-devel
- picosat
- picosat-debuginfo
- python-module-picosat-debuginfo
- python-module-picosat
- python3-module-picosat
- python3-module-picosat-debuginfo