Information for RPM cadical-06w-2.fc30.src.rpm
| ID | 308635 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Name | cadical | ||||||||||||
| Version | 06w | ||||||||||||
| Release | 2.fc30 | ||||||||||||
| Epoch | |||||||||||||
| Arch | src | ||||||||||||
| 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 | 2018-12-07 12:12:30 GMT | ||||||||||||
| Size | 349.36 KB | ||||||||||||
| cdbd16206b2ca9dc1743dc3305bd095d | |||||||||||||
| License | MIT | ||||||||||||
| Buildroot | f30-build-38686-22247 | ||||||||||||
| 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 | ||||||||||||
