openRuyi Lookout
← Packages

z3

cmake

The Z3 Theorem Prover

Current
4.13.0
Candidate
5.4.1Stale
License
MIT

Build

TargetResultLast successful versionSucceeded at
rva23
4.13.0
rva20
4.13.0
x86_64
4.13.0

Description

Z3 is a Satisfiability Modulo Theories (SMT) solver and integrates several decision procedures: Linear real and integer arithmetic, fixed-size bit vectors, uninterpreted functions, extensional arrays, quantifiers and model generation.

Changelog

PR · 1

Checks
MonitorObservationLast checked
Source
Stale
Repository refresh: git fetch exited 128 (authentication)
Version
Stale
Source last confirmed at 2026-11-12T14:30:13+00:00; repository refresh overdue.
Build
Checked
GitHub
Checked
EOL
Not configured
No reliable monitor identity/configuration.
—
LicenseDiff
Not configured
No reliable monitor identity/configuration.
—
Dependencies
Not configured
No reliable monitor identity/configuration.
—
Advisory
Checked
Repository query; subpackage and local-patch applicability are not evaluated.
Yanked
Not configured
No reliable monitor identity/configuration.
—