INFO
Name: picosat-libs
Version: 965-30.el9
Arch: aarch64
Summary: A SAT solver library
License: MIT
Vendor: Fedora Project
Build Host: buildvm-a64-16.rdu3.fedoraproject.org
Build Date: Sun Apr 26 14:27:17 2026
Size: 275482
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.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/93
/usr/lib/.build-id/93/2632d3d3e06dbc0445af99813524b95fd2b7f9
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/527cc982b4fd25cf617f0b06bce56836c3d68e
/usr/lib64/libpicosat-trace.so.0
/usr/lib64/libpicosat-trace.so.0.0.965
/usr/lib64/libpicosat.so.0
/usr/lib64/libpicosat.so.0.0.965
/usr/share/doc/picosat-libs
/usr/share/doc/picosat-libs/NEWS
/usr/share/licenses/picosat-libs
/usr/share/licenses/picosat-libs/LICENSE
REQUIRES
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(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-trace.so.0()(64bit)
libpicosat.so.0()(64bit)
picosat-libs 965-30.el9
picosat-libs(aarch-64) 965-30.el9
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/93 a
/usr/lib/.build-id/93/2632d3d3e06dbc0445af99813524b95fd2b7f9 a
/usr/lib/.build-id/e9 a
/usr/lib/.build-id/e9/527cc982b4fd25cf617f0b06bce56836c3d68e a
/usr/lib64/libpicosat-trace.so.0
/usr/lib64/libpicosat-trace.so.0.0.965
/usr/lib64/libpicosat.so.0
/usr/lib64/libpicosat.so.0.0.965
/usr/share/doc/picosat-libs
/usr/share/doc/picosat-libs/NEWS d
/usr/share/licenses/picosat-libs
/usr/share/licenses/picosat-libs/LICENSE l
LICENSE FILES
MIT
|
