INFO
Name: picosat-R
Version: 965-28.el10_2
Arch: x86_64
Summary: A SAT solver library for R
License: MIT
Vendor: Fedora Project
Build Host: buildvm-x86-28.rdu3.fedoraproject.org
Build Date: Fri Mar 13 04:20:49 2026
Size: 87842
URL: https://fmv.jku.at/picosat/
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.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/ba8ca00c55249f15bcb90e5d27b4996e5c1f79
/usr/lib64/libpicosat-R.so.0
/usr/lib64/libpicosat-R.so.0.0.965
/usr/share/doc/picosat-R
/usr/share/doc/picosat-R/NEWS
/usr/share/licenses/picosat-R
/usr/share/licenses/picosat-R/LICENSE
REQUIRES
libR.so()(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
libpicosat-R.so.0()(64bit)
picosat-R 965-28.el10_2
picosat-R(x86-64) 965-28.el10_2
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/3b a
/usr/lib/.build-id/3b/ba8ca00c55249f15bcb90e5d27b4996e5c1f79 a
/usr/lib64/libpicosat-R.so.0
/usr/lib64/libpicosat-R.so.0.0.965
/usr/share/doc/picosat-R
/usr/share/doc/picosat-R/NEWS d
/usr/share/licenses/picosat-R
/usr/share/licenses/picosat-R/LICENSE l
LICENSE FILES
MIT
|
