z3 4.15.2Latest published 10.9mo ago
MODULE.bazel
bazel_dep(name = "z3", version = "4.15.2")
Dependencies
Loading README

About

The Z3 Theorem Prover

@Z3Prover/z3@Z3Prover
Homepage
12301stars
Wednesday, July 9, 2025
@smolkaj#5073 Add Z3 (new module) to the BC...

Languages

C++86.9%
Python3.2%
C#2.4%
TypeScript1.8%
C1.7%
Java1.7%
OCaml0.9%
CMake0.7%
Go0.6%
SMT0.1%

Maintainers

@matthewtlam
@smolkaj
@tsnl
@NikolajBjorner

Compatibility

Versions

4.15.2100% 32025-07-09