z3-4.12.6-1.oc9 | Build Info

Information for build z3-4.12.6-1.oc9

46772

Package Name

Version

4.12.6

Release

1.oc9

Epoch

Draft

False

Source

git+https://gitee.com/opencloudos-stream/z3.git?.#268de1574977f87541bf36073e3a937bb427ece5

Summary

Satisfiability Modulo Theories (SMT) solver

Description

Z3 is a satisfiability modulo theories (SMT) solver; given a set of constraints with variables, it reports a set of values for those variables that would meet the constraints. The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, and quantifiers.

VCS

https://github.com/Z3Prover/z3

Built by

bbrucezhang

State

complete

Volume

DEFAULT

Started

Fri, 08 May 2026 16:50:08 CST

Completed

Fri, 08 May 2026 17:09:56 CST

Task

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

Extra

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

Tags

dist-oc9-epol

dist-oc9-epol-compose

RPMs

src
	z3-4.12.6-1.oc9.src.rpm (info) (download)
aarch64
	java-z3-4.12.6-1.oc9.aarch64.rpm (info) (download)
	ocaml-z3-4.12.6-1.oc9.aarch64.rpm (info) (download)
	ocaml-z3-devel-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-devel-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-doc-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-libs-4.12.6-1.oc9.aarch64.rpm (info) (download)
	java-z3-debuginfo-4.12.6-1.oc9.aarch64.rpm (info) (download)
	ocaml-z3-debuginfo-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-debuginfo-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-debugsource-4.12.6-1.oc9.aarch64.rpm (info) (download)
	z3-libs-debuginfo-4.12.6-1.oc9.aarch64.rpm (info) (download)
loongarch64
	java-z3-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	ocaml-z3-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	ocaml-z3-devel-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-devel-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-doc-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-libs-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	java-z3-debuginfo-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	ocaml-z3-debuginfo-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-debuginfo-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-debugsource-4.12.6-1.oc9.loongarch64.rpm (info) (download)
	z3-libs-debuginfo-4.12.6-1.oc9.loongarch64.rpm (info) (download)
noarch
	python3-z3-4.12.6-1.oc9.noarch.rpm (info) (download)
x86_64
	java-z3-4.12.6-1.oc9.x86_64.rpm (info) (download)
	ocaml-z3-4.12.6-1.oc9.x86_64.rpm (info) (download)
	ocaml-z3-devel-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-devel-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-doc-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-libs-4.12.6-1.oc9.x86_64.rpm (info) (download)
	java-z3-debuginfo-4.12.6-1.oc9.x86_64.rpm (info) (download)
	ocaml-z3-debuginfo-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-debuginfo-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-debugsource-4.12.6-1.oc9.x86_64.rpm (info) (download)
	z3-libs-debuginfo-4.12.6-1.oc9.x86_64.rpm (info) (download)

Logs

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

Changelog

* Wed Aug 07 2024 OpenCloudOS Release Engineering <releng@opencloudos.tech> - 4.12.6-1 - initial build

Main Site Links:

Information for build z3-4.12.6-1.oc9