Information for RPM picosat-libs-965-9.fc31.riscv64.rpm
ID | 431197 | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-libs | ||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||
Release | 9.fc31 | ||||||||||||||||||||||||||||
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 | 2019-08-01 03:37:36 GMT | ||||||||||||||||||||||||||||
Size | 68.47 KB | ||||||||||||||||||||||||||||
10a130ff539ec5b68e20882ee5cbf3cb | |||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||
Buildroot | f31-build-65030-29613 | ||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||
Component of |
|