Sat, 05 Oct 2024 02:10:00 UTC | login

Information for build picosat-965-8.fc31

ID100521
Package Namepicosat
Version965
Release8.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/picosat.git#3ee781563b028f6ed54e8452feba07b271bca5c5
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 failed
Volume DEFAULT
StartedWed, 24 Jul 2019 12:46:44 UTC
CompletedWed, 24 Jul 2019 13:43:45 UTC
Taskbuild (f31-candidate, /rpms/picosat.git:3ee781563b028f6ed54e8452feba07b271bca5c5)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#3ee781563b028f6ed54e8452feba07b271bca5c5'}}
Tags No tags
RPMs No RPMs
Changelog * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 965-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 965-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 965-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 965-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 965-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild