kissat-4.0.2-1.fc42.riscv64 | RPM Info

Information for RPM kissat-4.0.2-1.fc42.riscv64.rpm

32125

Build

kissat-4.0.2-1.fc42

Name

kissat

Version

4.0.2

Release

1.fc42

Epoch

Arch

riscv64

Draft

False

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

2025-03-04 22:59:56 GMT

Size

25.92 KB

SIGMD5

9c9b83128d2fb6093d6c41aea5bd4ced

License

MIT

VCS

git:https://github.com/arminbiere/kissat.git

Provides

kissat = 4.0.2-1.fc42

kissat(riscv-64) = 4.0.2-1.fc42

Obsoletes

No Obsoletes

Conflicts

No Conflicts

Requires

kissat-libs(riscv-64) = 4.0.2-1.fc42

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

Name	Size
1 through 5 of 5
/usr/bin/kissat	35.27 KB
/usr/lib/.build-id	0.00 B
/usr/lib/.build-id/77	0.00 B
/usr/lib/.build-id/77/b7af3438d5c3f69d9eb7d1fabc9e4e828eec59	26.00 B
/usr/share/man/man1/kissat.1.gz	3.86 KB

Component of

No Buildroots