Main Site Links:

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

Information for RPM kissat-3.1.1-4.fc40.riscv64.rpm

ID	1265212
Name	kissat
Version	3.1.1
Release	4.fc40
Epoch
Arch	riscv64
Summary	Keep It Simple SAT solver
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 a command-line interface to KISSAT.
Build Time	2024-03-27 11:42:40 GMT
Size	25.17 KB
SIGMD5	6a82f95589858599af27afe1e7b00ed4
License	MIT
VCS	https://github.com/arminbiere/kissat
Buildroot	f40-build-798472-141898
Provides	kissat = 3.1.1-4.fc40 kissat(riscv-64) = 3.1.1-4.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	kissat-libs(riscv-64) = 3.1.1-4.fc40 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.34)(64bit) libkissat.so.0()(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 5 of 5 Name Size /usr/bin/kissat 35.45 KB /usr/lib/.build-id 0.00 B /usr/lib/.build-id/2a 0.00 B /usr/lib/.build-id/2a/ed0cf357f8249d7c50a24d6dfb1c664fd612f2 26.00 B /usr/share/man/man1/kissat.1.gz 3.09 KB
Component of	No Buildroots