| ID | 3763 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | cadical-2.1.3-1.fc42 | ||||||||||
| Name | cadical | ||||||||||
| Version | 2.1.3 | ||||||||||
| Release | 1.fc42 | ||||||||||
| Epoch | 1 | ||||||||||
| Arch | src | ||||||||||
| Draft | False | ||||||||||
| Summary | Simplified SAT solver | ||||||||||
| Description | CaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers. | ||||||||||
| Build Time | 2025-05-19 14:43:52 GMT | ||||||||||
| Size | 718.38 KB | ||||||||||
| f49ab2e114d2b95241a0d60871e0c540 | |||||||||||
| License | MIT | ||||||||||
| git:https://github.com/arminbiere/cadical.git | |||||||||||
| 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 | ||||||||||
