INFO
Name: cadical-libs
Version: 2.1.3-1.el10_2
Arch: aarch64
Summary: Simplified SAT solver library
License: MIT
Vendor: Fedora Project
Build Host: buildvm-a64-40.rdu3.fedoraproject.org
Build Date: Mon Dec 22 18:15:06 2025
Size: 1087536
URL: http://fmv.jku.at/cadical/
Description: This package contains the CaDiCaL simplified Satisfiability solver as a
library, for use in applications that need a SAT solver.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/48
/usr/lib/.build-id/48/239a6d59489ab3f6bf1732cc2df5f356374da2
/usr/lib64/libcadical.so.0
/usr/lib64/libcadical.so.0.0.0
/usr/share/doc/cadical-libs
/usr/share/doc/cadical-libs/NEWS.md
/usr/share/doc/cadical-libs/README.md
/usr/share/licenses/cadical-libs
/usr/share/licenses/cadical-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)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(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
cadical-libs 1:2.1.3-1.el10_2
cadical-libs(aarch-64) 1:2.1.3-1.el10_2
libcadical.so.0()(64bit)
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/48 a
/usr/lib/.build-id/48/239a6d59489ab3f6bf1732cc2df5f356374da2 a
/usr/lib64/libcadical.so.0
/usr/lib64/libcadical.so.0.0.0
/usr/share/doc/cadical-libs
/usr/share/doc/cadical-libs/NEWS.md d
/usr/share/doc/cadical-libs/README.md d
/usr/share/licenses/cadical-libs
/usr/share/licenses/cadical-libs/LICENSE l
LICENSE FILES
MIT
|
