Information for RPM picosat-libs-965-18.fc40.riscv64.rpm
ID | 1108664 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-libs | ||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||
Release | 18.fc40 | ||||||||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||||||||
Summary | A SAT solver library | ||||||||||||||||||||||||||||||
Description | The PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors. | ||||||||||||||||||||||||||||||
Build Time | 2023-11-26 12:06:05 GMT | ||||||||||||||||||||||||||||||
Size | 72.42 KB | ||||||||||||||||||||||||||||||
3076f38614d552f69d8c6f144bb185f5 | |||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||
Buildroot | f40-build-748328-113716 | ||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||
Component of |
|