INFO
Name: cadical
Version: 2.1.3-1.el10_2
Arch: aarch64
Summary: Simplified SAT solver
License: MIT
Vendor: Fedora Project
Build Host: buildvm-a64-40.rdu3.fedoraproject.org
Build Date: Mon Dec 22 18:15:06 2025
Size: 279866
URL: http://fmv.jku.at/cadical/
Description: CaDiCaL is a simplified Satisfiability solver. The goal of the
development of CaDiCaL is to obtain a CDCL solver, which is easy to
understand and change, while at the same time not being much slower
than other state-of-the-art CDCL solvers.
FILES
/usr/bin/cadical
/usr/bin/mobical
/usr/lib/.build-id
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/ffeaf2763f625827ffc3d8efc9254faffd0b96
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/13197b01e7b0b78704db77b3fb6c61eff0c9b0
/usr/share/man/man1/cadical.1.gz
/usr/share/man/man1/mobical.1.gz
REQUIRES
cadical-libs(aarch-64) 1:2.1.3-1.el10_2
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.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
libcadical.so.0()(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(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.11)(64bit)
libstdc++.so.6(GLIBCXX_3.4.21)(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 1:2.1.3-1.el10_2
cadical(aarch-64) 1:2.1.3-1.el10_2
CONFIG FILES
/usr/bin/cadical
/usr/bin/mobical
/usr/lib/.build-id a
/usr/lib/.build-id/8d a
/usr/lib/.build-id/8d/ffeaf2763f625827ffc3d8efc9254faffd0b96 a
/usr/lib/.build-id/b8 a
/usr/lib/.build-id/b8/13197b01e7b0b78704db77b3fb6c61eff0c9b0 a
/usr/share/man/man1/cadical.1.gz d
/usr/share/man/man1/mobical.1.gz d
LICENSE FILES
MIT
|
