picosat-965-9.fc31 | Build Info

Information for build picosat-965-9.fc31

117000

Package Name

picosat

Version

965

Release

9.fc31

Epoch

Source

git+https://src.fedoraproject.org/rpms/picosat.git#7020e24b2ccbedef972a953f2ad0fe0fb7a8c873

Summary

A SAT solver

Description

PicoSAT 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 by

davidlt

State

complete

Volume

DEFAULT

Started

Thu, 01 Aug 2019 10:34:18 UTC

Completed

Thu, 01 Aug 2019 12:50:55 UTC

Task

build (f31-candidate, /rpms/picosat.git:7020e24b2ccbedef972a953f2ad0fe0fb7a8c873)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/picosat.git#7020e24b2ccbedef972a953f2ad0fe0fb7a8c873'}}

Tags

f31

f32

f33

RPMs

src
	picosat-965-9.fc31.src.rpm (info) (download)
riscv64
	picosat-965-9.fc31.riscv64.rpm (info) (download)
	picosat-R-965-9.fc31.riscv64.rpm (info) (download)
	picosat-devel-965-9.fc31.riscv64.rpm (info) (download)
	picosat-libs-965-9.fc31.riscv64.rpm (info) (download)
	picosat-R-debuginfo-965-9.fc31.riscv64.rpm (info) (download)
	picosat-debuginfo-965-9.fc31.riscv64.rpm (info) (download)
	picosat-debugsource-965-9.fc31.riscv64.rpm (info) (download)
	picosat-libs-debuginfo-965-9.fc31.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* 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 * 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

Main Site Links:

Information for build picosat-965-9.fc31