Wed, 08 Jan 2025 10:41:03 UTC | login

Information for build picosat-965-16.fc38

ID238933
Package Namepicosat
Version965
Release16.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#13216481c0ea7685e77ca3fee1060dd718018fc5
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
StartedSat, 11 Mar 2023 18:41:07 UTC
CompletedSun, 12 Mar 2023 04:01:15 UTC
Taskbuild (f38, /rpms/picosat.git:13216481c0ea7685e77ca3fee1060dd718018fc5)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#13216481c0ea7685e77ca3fee1060dd718018fc5'}}
Tags
f38
RPMs
src
picosat-965-16.fc38.src.rpm (info) (download)
riscv64
picosat-965-16.fc38.riscv64.rpm (info) (download)
picosat-R-965-16.fc38.riscv64.rpm (info) (download)
picosat-devel-965-16.fc38.riscv64.rpm (info) (download)
picosat-libs-965-16.fc38.riscv64.rpm (info) (download)
picosat-R-debuginfo-965-16.fc38.riscv64.rpm (info) (download)
picosat-debuginfo-965-16.fc38.riscv64.rpm (info) (download)
picosat-debugsource-965-16.fc38.riscv64.rpm (info) (download)
picosat-libs-debuginfo-965-16.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 965-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 965-15 - Minor spec file cleanups * Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-15 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 965-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 965-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild