sat4j-2.3.5-6.oc9 | Build Info

Information for build sat4j-2.3.5-6.oc9

34672

Package Name

sat4j

Version

2.3.5

Release

6.oc9

Epoch

Draft

False

Source

git+https://gitee.com/src-opencloudos-rpms/sat4j.git?.#aacae8bee812ee4cc45e376c4e7dd5f22a88db87

Summary

A library of SAT solvers written in Java

Description

The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. The SAT4J library targets first users of SAT "black boxes", those willing to embed SAT technologies into their application without worrying about the details.

Built by

bbrucezhang

State

complete

Volume

DEFAULT

Started

Wed, 23 Apr 2025 07:18:54 CST

Completed

Wed, 23 Apr 2025 07:21:51 CST

Task

build (dist-oc9, /src-opencloudos-rpms/sat4j.git:.:origin/oc9)

Extra

{'source': {'original_url': 'git+https://gitee.com/src-opencloudos-rpms/sat4j.git?.#origin/oc9'}}

Tags

dist-oc9

dist-oc9-compose

RPMs

src
	sat4j-2.3.5-6.oc9.src.rpm (info) (download)
noarch
	sat4j-2.3.5-6.oc9.noarch.rpm (info) (download)

Logs

noarch
	state.log
	installed_pkgs.log
	build.log
	root.log
	hw_info.log
	mock_output.log
	noarch_rpmdiff.json

Changelog

* Thu Sep 26 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-6 - Rebuilt for clarifying the packages requirement in BaseOS and AppStream * Fri Aug 16 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-5 - Rebuilt for loongarch release * Fri Sep 08 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-4 - Rebuilt for OpenCloudOS Stream 23.09 * Fri Apr 28 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-3 - Rebuilt for OpenCloudOS Stream 23.05 * Fri Mar 31 2023 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 2.3.5-2 - Rebuilt for OpenCloudOS Stream 23 * Tue Mar 28 2023 cunshunxia <cunshunxia@tencent.com> - 2.3.5-1 - initial build

Main Site Links:

Information for build sat4j-2.3.5-6.oc9