Information for RPM picosat-965-10.fc33.riscv64.rpm
ID | 560714 | ||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat | ||||||||||||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||||||||||||
Release | 10.fc33 | ||||||||||||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||||||||||||
Summary | A SAT solver | ||||||||||||||||||||||||||||||||||||||||
Description | PicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck. | ||||||||||||||||||||||||||||||||||||||||
Build Time | 2020-03-27 21:28:28 GMT | ||||||||||||||||||||||||||||||||||||||||
Size | 38.52 KB | ||||||||||||||||||||||||||||||||||||||||
95da7cbd942a1865b0e0dbfdcd7e8b21 | |||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||
Buildroot | f33-build-130058-40795 | ||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||
Component of | No Buildroots |