Releases · OpenJML/Solvers · GitHub

08 May 17:00

z3-4.3.2-20260508-164837

Z3 4.3.2 — 2026-05-08 16:48 UTC

Z3 4.3.2 binaries for ubuntu-arm64, ubuntu-x86_64, macos-arm64, macos-x86_64. Built from https://github.com/Z3Prover/z3/releases/tag/z3-4.3.2.

Assets 6

08 May 17:11

z3-4.3.1-20260508-165720

Z3 4.3.1 — 2026-05-08 16:57 UTC Latest

Latest

Z3 4.3.1 binaries for ubuntu-arm64, ubuntu-x86_64, macos-arm64, macos-x86_64. Built from https://github.com/Z3Prover/z3/releases/tag/z3-4.3.1.

Assets 6

07 May 14:48

z3-4.3.1-20260507-143346

Z3 4.3.1 — 2026-05-07 14:33 UTC

Z3 4.3.1 binaries for ubuntu-arm64, ubuntu-x86_64, macos-arm64, macos-x86_64. Built from https://github.com/Z3Prover/z3/releases/tag/z3-4.3.1.

Assets 6

07 May 14:25

z3-4.3.1-20260507-142555

Z3 4.3.1 — 2026-05-07 14:25 UTC

Z3 4.3.1 binaries for ubuntu-arm64, ubuntu-x86_64, macos-arm64, macos-x86_64. Built from https://github.com/Z3Prover/z3/releases/tag/z3-4.3.1.

Assets 6