Information for RPM picosat-965-6.fc29.src.rpm
| ID | 87565 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | picosat | ||||||||||||||||
| Version | 965 | ||||||||||||||||
| Release | 6.fc29 | ||||||||||||||||
| 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 | 2018-05-23 11:17:34 GMT | ||||||||||||||||
| Size | 78.41 KB | ||||||||||||||||
| 9e0e5d7be7df6b7554988a63baca6f62 | |||||||||||||||||
| License | MIT | ||||||||||||||||
| Buildroot | f29-build-3790-951 | ||||||||||||||||
| 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 | ||||||||||||||||
