z3 5.3.1Latest published 6h ago
MODULE.bazel
bazel_dep(name = "z3", version = "5.3.1")
Dependencies
Loading README

About

The Z3 Theorem Prover

@Z3Prover/z3@Z3Prover
Homepage
12841stars
5:25 PM (6 hours ago)
@mczyz-antmicro#11363 z3@5.3.1 (#11363)

Languages

C++50.8%
SMT37.6%
F*4.2%
Python2.2%
C#1.3%
OCaml1%
TypeScript1%
C0.9%
Java0.9%
CMake0.3%

Maintainers

@matthewtlam
@smolkaj
@tsnl
@NikolajBjorner

Compatibility

Versions

5.3.1 +1.3y2026-10-26
4.15.2100% 52025-07-09