Wed, 12 Jun 2024 07:53:10 UTC | login

Information for build picosat-965-11.fc33

ID182705
Package Namepicosat
Version965
Release11.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#7e14115cceff19fdfe2545769c98ec0e45c9b9bd
SummaryA SAT solver
DescriptionPicoSAT solves the SAT problem, which is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF). PicoSAT can generate proofs and cores in memory by compressing the proof trace. It supports the proof format of TraceCheck.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 14 Aug 2020 21:24:59 UTC
CompletedFri, 14 Aug 2020 22:51:05 UTC
Taskbuild (f33, /rpms/picosat.git:7e14115cceff19fdfe2545769c98ec0e45c9b9bd)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#7e14115cceff19fdfe2545769c98ec0e45c9b9bd'}}
Tags
f33
f37
f38
RPMs
src
picosat-965-11.fc33.src.rpm (info) (download)
riscv64
picosat-965-11.fc33.riscv64.rpm (info) (download)
picosat-R-965-11.fc33.riscv64.rpm (info) (download)
picosat-devel-965-11.fc33.riscv64.rpm (info) (download)
picosat-libs-965-11.fc33.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-11.fc33.riscv64.rpm (info) (download)
picosat-debuginfo-965-11.fc33.riscv64.rpm (info) (download)
picosat-debugsource-965-11.fc33.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-11.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-11 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 965-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild