Information for RPM picosat-libs-965-10.fc33.riscv64.rpm
ID | 560710 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-libs | ||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||
Release | 10.fc33 | ||||||||||||||||||||||||||||||
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 | 2020-03-27 21:28:28 GMT | ||||||||||||||||||||||||||||||
Size | 67.11 KB | ||||||||||||||||||||||||||||||
5db323190d574e4cdee8d87c0aa79dfd | |||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||
Buildroot | f33-build-130058-40795 | ||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||
Component of |
|