ID | 33129 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Build | cadical-1.9.5-1.fc41 | ||||||||||
Name | cadical | ||||||||||
Version | 1.9.5 | ||||||||||
Release | 1.fc41 | ||||||||||
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 | 2024-05-01 11:48:51 GMT | ||||||||||
Size | 677.47 KB | ||||||||||
3a75f516017ef6e52525da60b9475c3f | |||||||||||
License | MIT | ||||||||||
https://github.com/arminbiere/cadical | |||||||||||
Buildroot | f41-build-30659-1217 | ||||||||||
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 |