Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM kissat-libs-4.0.4-5.fc45.riscv64.rpm

ID	42509
Build	kissat-4.0.4-5.fc45
Name	kissat-libs
Version	4.0.4
Release	5.fc45
Epoch
Arch	riscv64
Draft	False
Summary	Keep It Simple SAT solver library
Description	KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish. This package contains KISSAT as a library, for use in applications that need a SAT solver.
Build Time	2026-10-14 17:30:08 GMT
Size	226.98 KB
SIGMD5	a512588840bdc484d0a0fd403ef78aa9
License	MIT
VCS	git:https://github.com/arminbiere/kissat.git
Buildroot	f45-build-15305-470
Provides	kissat-libs = 4.0.4-5.fc45 kissat-libs(riscv-64) = 4.0.4-5.fc45 libkissat.so.0()(64bit)
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.33)(64bit) libc.so.6(GLIBC_2.38)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.27)(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)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 9 of 9 Name Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/d1 0.00 B /usr/lib/.build-id/d1/0ef798a0e967ef741cac98658d9efd3a53d81a 40.00 B /usr/lib64/libkissat.so.0 18.00 B /usr/lib64/libkissat.so.0.0.0 419.73 KB /usr/share/doc/kissat-libs 0.00 B /usr/share/doc/kissat-libs/README.md 2.10 KB /usr/share/licenses/kissat-libs 0.00 B /usr/share/licenses/kissat-libs/LICENSE 1.29 KB
Component of	1 through 1 of 1 Buildroot Created State f45-build-39358-733 2026-10-18 07:59:10