Mon, 20 May 2024 05:51:24 UTC | login

Information for build kissat-0-0.1.20200704gitbaef460.fc33

ID167780
Package Namekissat
Version0
Release0.1.20200704gitbaef460.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/kissat.git#f5911bb5c13304458abdc68111680019b3199a4c
SummaryKeep It Simple SAT solver
DescriptionKISSAT 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.
Built bydavidlt
State complete
Volume DEFAULT
StartedThu, 13 Aug 2020 10:33:06 UTC
CompletedThu, 13 Aug 2020 11:08:49 UTC
Taskbuild (f33, /rpms/kissat.git:f5911bb5c13304458abdc68111680019b3199a4c)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/kissat.git#f5911bb5c13304458abdc68111680019b3199a4c'}}
Tags
f33
f37
f38
RPMs
src
kissat-0-0.1.20200704gitbaef460.fc33.src.rpm (info) (download)
riscv64
kissat-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
kissat-devel-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
kissat-libs-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
kissat-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
kissat-debugsource-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
kissat-libs-debuginfo-0-0.1.20200704gitbaef460.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sun Jul 12 2020 Jerry James <loganjerry@gmail.com> - 0-0.1.20200704gitbaef460 - Initial RPM