| ID | 173044 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | picosat-965-21.fc40 | ||||||||||||||||
| Name | picosat | ||||||||||||||||
| Version | 965 | ||||||||||||||||
| Release | 21.fc40 | ||||||||||||||||
| Epoch | |||||||||||||||||
| Arch | src | ||||||||||||||||
| Draft | False | ||||||||||||||||
| 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 | 2024-05-04 20:59:20 GMT | ||||||||||||||||
| Size | 89.61 KB | ||||||||||||||||
| 9429301b7cc99a9db1dcc053cc0a77ca | |||||||||||||||||
| License | MIT | ||||||||||||||||
| Buildroot | f40-build-144485-7457 | ||||||||||||||||
| 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 | ||||||||||||||||
