Information for RPM picosat-libs-965-11.fc33.riscv64.rpm
ID | 694148 | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-libs | ||||||||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||||||||
Release | 11.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-08-14 22:43:28 GMT | ||||||||||||||||||||||||||||||
Size | 67.72 KB | ||||||||||||||||||||||||||||||
831bc3a1ce75a19f36da58ecd6ec7e41 | |||||||||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||||||||
Buildroot | f33-build-298166-56076 | ||||||||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||||||||
Component of |
|