picosat-965-1.ocs23 | Build Info

Information for build picosat-965-1.ocs23

6463

Package Name

picosat

Version

965

Release

1.ocs23

Epoch

Source

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

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

Mon, 11 Dec 2023 14:49:22 CST

Completed

Mon, 11 Dec 2023 14:52:12 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-1.ocs23.src.rpm (info) (download)
aarch64
	picosat-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-R-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-devel-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-libs-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-R-debuginfo-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-debuginfo-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-debugsource-965-1.ocs23.aarch64.rpm (info) (download)
	picosat-libs-debuginfo-965-1.ocs23.aarch64.rpm (info) (download)
loongarch64
	picosat-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-R-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-devel-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-libs-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-R-debuginfo-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-debuginfo-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-debugsource-965-1.ocs23.loongarch64.rpm (info) (download)
	picosat-libs-debuginfo-965-1.ocs23.loongarch64.rpm (info) (download)
x86_64
	picosat-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-R-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-devel-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-libs-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-R-debuginfo-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-debuginfo-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-debugsource-965-1.ocs23.x86_64.rpm (info) (download)
	picosat-libs-debuginfo-965-1.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

* Mon Dec 11 2023 Shuo Wang <abushwang@tencent.com> - 965-1 - initial build

Main Site Links:

Information for build picosat-965-1.ocs23