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

About

The Z3 Theorem Prover

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

Languages

C++87.9%
Python2.4%
C#2.3%
TypeScript1.7%
C1.6%
Java1.6%
OCaml0.9%
CMake0.6%
F*0.5%
Go0.5%

Maintainers

@matthewtlam
@smolkaj
@tsnl
@NikolajBjorner

Compatibility

Versions

4.15.2100% 42025-07-09