Information for RPM picosat-965-6.fc29.riscv64.rpm
ID | 87568 | ||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat | ||||||||||||||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||||||||||||||
Release | 6.fc29 | ||||||||||||||||||||||||||||||||||||||||||
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 | 2018-05-23 11:45:49 GMT | ||||||||||||||||||||||||||||||||||||||||||
Size | 38.20 KB | ||||||||||||||||||||||||||||||||||||||||||
758c88c48bf0eab3396c321eff9c35ae | |||||||||||||||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||||||||||||||
Buildroot | f29-build-3790-951 | ||||||||||||||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||||||||||||||
Component of |
|