Information for RPM picosat-libs-965-6.fc29.riscv64.rpm
ID | 87567 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-libs | ||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||
Release | 6.fc29 | ||||||||||||||||||||||||||||||
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 | 2018-05-23 11:45:49 GMT | ||||||||||||||||||||||||||||||
Size | 66.69 KB | ||||||||||||||||||||||||||||||
7768818abf97e58934ff8da9636b0542 | |||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||
Buildroot | f29-build-3790-951 | ||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||
Component of |
|