picosat-965-3.oc9 | Build Info

Information for build picosat-965-3.oc9

39857

Package Name

picosat

Version

965

Release

3.oc9

Epoch

Draft

False

Source

git+https://gitee.com/opencloudos-stream/picosat.git?.#defad017770dbf6c9ec3dbb33e793e41c9a77c3a

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

bbrucezhang

State

complete

Volume

DEFAULT

Started

Fri, 13 Jun 2025 20:41:28 CST

Completed

Fri, 13 Jun 2025 20:48:21 CST

Task

build (dist-oc9-epol, /opencloudos-stream/picosat.git:.:origin/master)

Extra

{'source': {'original_url': 'git+https://gitee.com/opencloudos-stream/picosat.git?.#origin/master'}}

Tags

dist-oc9-epol

dist-oc9-epol-compose

epol9-test-compose

RPMs

src
	picosat-965-3.oc9.src.rpm (info) (download)
aarch64
	picosat-965-3.oc9.aarch64.rpm (info) (download)
	picosat-R-965-3.oc9.aarch64.rpm (info) (download)
	picosat-devel-965-3.oc9.aarch64.rpm (info) (download)
	picosat-libs-965-3.oc9.aarch64.rpm (info) (download)
	picosat-R-debuginfo-965-3.oc9.aarch64.rpm (info) (download)
	picosat-debuginfo-965-3.oc9.aarch64.rpm (info) (download)
	picosat-debugsource-965-3.oc9.aarch64.rpm (info) (download)
	picosat-libs-debuginfo-965-3.oc9.aarch64.rpm (info) (download)
loongarch64
	picosat-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-R-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-devel-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-libs-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-R-debuginfo-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-debuginfo-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-debugsource-965-3.oc9.loongarch64.rpm (info) (download)
	picosat-libs-debuginfo-965-3.oc9.loongarch64.rpm (info) (download)
x86_64
	picosat-965-3.oc9.x86_64.rpm (info) (download)
	picosat-R-965-3.oc9.x86_64.rpm (info) (download)
	picosat-devel-965-3.oc9.x86_64.rpm (info) (download)
	picosat-libs-965-3.oc9.x86_64.rpm (info) (download)
	picosat-R-debuginfo-965-3.oc9.x86_64.rpm (info) (download)
	picosat-debuginfo-965-3.oc9.x86_64.rpm (info) (download)
	picosat-debugsource-965-3.oc9.x86_64.rpm (info) (download)
	picosat-libs-debuginfo-965-3.oc9.x86_64.rpm (info) (download)

Logs

x86_64
	mock_config.log
	mock_output.log
	build.log
	hw_info.log
	dnf.rpm.log
	state.log
	installed_pkgs.log
	dnf.librepo.log
	dnf.log
	root.log
aarch64
	root.log
	mock_config.log
	dnf.rpm.log
	hw_info.log
	installed_pkgs.log
	mock_output.log
	dnf.log
	state.log
	build.log
	dnf.librepo.log
loongarch64
	state.log
	build.log
	root.log
	hw_info.log
	installed_pkgs.log
	mock_output.log

Changelog

* Wed Jun 11 2025 bbrucezhang <bbrucezhang@tencent.com> - 965-3 - Rebuilt for loongarch64 * Fri Aug 16 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 965-2 - Rebuilt for loongarch release * Mon Dec 11 2023 Shuo Wang <abushwang@tencent.com> - 965-1 - initial build

Main Site Links:

Information for build picosat-965-3.oc9