| ID | 48778 | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | kissat-3.1.1-4.fc41 | ||||||||||||||||||||||
| Name | kissat-libs | ||||||||||||||||||||||
| Version | 3.1.1 | ||||||||||||||||||||||
| Release | 4.fc41 | ||||||||||||||||||||||
| Epoch | |||||||||||||||||||||||
| Arch | riscv64 | ||||||||||||||||||||||
| Draft | False | ||||||||||||||||||||||
| Summary | Keep It Simple SAT solver library | ||||||||||||||||||||||
| Description | KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish. This package contains KISSAT as a library, for use in applications that need a SAT solver. | ||||||||||||||||||||||
| Build Time | 2024-05-01 21:00:10 GMT | ||||||||||||||||||||||
| Size | 160.66 KB | ||||||||||||||||||||||
| 536703834056127c9462419232712b13 | |||||||||||||||||||||||
| License | MIT | ||||||||||||||||||||||
| https://github.com/arminbiere/kissat | |||||||||||||||||||||||
| Buildroot | f41-build-39467-1771 | ||||||||||||||||||||||
| Provides |
|
||||||||||||||||||||||
| Obsoletes | No Obsoletes | ||||||||||||||||||||||
| Conflicts | No Conflicts | ||||||||||||||||||||||
| Requires |
|
||||||||||||||||||||||
| Recommends | No Recommends | ||||||||||||||||||||||
| Suggests | No Suggests | ||||||||||||||||||||||
| Supplements | No Supplements | ||||||||||||||||||||||
| Enhances | No Enhances | ||||||||||||||||||||||
| Files |
|
||||||||||||||||||||||
| Component of | |||||||||||||||||||||||
