Information for RPM picosat-965-10.fc33.src.rpm
| ID | 560708 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | picosat | ||||||||||||||||
| Version | 965 | ||||||||||||||||
| Release | 10.fc33 | ||||||||||||||||
| Epoch | |||||||||||||||||
| Arch | src | ||||||||||||||||
| 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 20:48:29 GMT | ||||||||||||||||
| Size | 76.60 KB | ||||||||||||||||
| 2d976093b751c491b784475184ab5062 | |||||||||||||||||
| License | MIT | ||||||||||||||||
| Buildroot | f33-build-130058-40795 | ||||||||||||||||
| Provides | No 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 | ||||||||||||||||
