Information for RPM picosat-R-965-7.fc29.riscv64.rpm
ID | 238506 | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | picosat-R | ||||||||||||||||||||||||
Version | 965 | ||||||||||||||||||||||||
Release | 7.fc29 | ||||||||||||||||||||||||
Epoch | |||||||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||||||
Summary | A SAT solver library for R | ||||||||||||||||||||||||
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. This version of the library is built for use with R projects. | ||||||||||||||||||||||||
Build Time | 2018-08-13 15:17:46 GMT | ||||||||||||||||||||||||
Size | 41.41 KB | ||||||||||||||||||||||||
484d8038020d296c75abcceb8fa6e65a | |||||||||||||||||||||||||
License | MIT | ||||||||||||||||||||||||
Buildroot | f29-build-25117-13100 | ||||||||||||||||||||||||
Provides |
|
||||||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||||||
Requires |
|
||||||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||||||
Files |
|
||||||||||||||||||||||||
Component of |
|