picosat-965-2.ocs23 | Build Info

Information for build picosat-965-2.ocs23

17850

Package Name

picosat

Version

965

Release

2.ocs23

Epoch

Source

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

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

ocs-bot

State

complete

Volume

DEFAULT

Started

Sat, 17 Aug 2024 20:08:52 CST

Completed

Sat, 17 Aug 2024 20:24:01 CST

Task

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

Extra

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

Tags

dist-ocs23

RPMs

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

Logs

x86_64
	installed_pkgs.log
	build.log
	state.log
	hw_info.log
	root.log
	mock_output.log
aarch64
	root.log
	state.log
	installed_pkgs.log
	hw_info.log
	build.log
	mock_output.log
loongarch64
	hw_info.log
	state.log
	build.log
	root.log
	installed_pkgs.log
	mock_output.log

Changelog

* 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-2.ocs23