z3 (math/z3) Updated: 3 months ago Add to my watchlist

Z3 Theorem Prover

High performance SMT solver from Microsoft Research.

Version: 4.15.4 License: MIT

GitHub

Maintainers	landonf
Categories	science math
Homepage	https://github.com/Z3Prover/z3
Platforms	darwin freebsd
Variants	debug (Enable debug binaries) gmp (Use GNU GMP library for arbitrary precision arithmetic) lto (Enable link-time (interprocedural) optimization) native (Generate code optimized for this machine's CPU. The resulting binaries may not run on other processors) polly (Perform loop and data-locality optimization using LLVM's Polly optimizer) polly_late (Perform LLVM Polly optimization later in the LLVM optimization pass pipline) polly_parallel (Enable automatic generation of OpenMP code for parallel loops using LLVM's Polly optimizer) polly_two_level_tiling (Enable second-level loop tiling using LLVM's Polly optimizer) polly_vector (Enable automatic vector code generation using LLVM's Polly optimizer) profile (Generate instrumented code that may be used for profile-guided optimization) threads (Enable thread-safe build) universal (Build for multiple architectures)

Subport(s) (13)

py27-z3

py310-z3

py311-z3

py312-z3

py313-z3

py314-z3

py37-z3

py38-z3

py39-z3

py-z3

z3-fstar

z3-fstar-legacy

z3-java

"z3" depends on

build (5)

bash

clang-20

cmake

ninja

python313

extract (1)

Ports that depend on "z3"

lib (14)

py27-z3

solidity

py37-z3

root6

py38-z3

py39-z3

ispc-clang

py-z3

py310-z3

py311-z3

py312-z3

py313-z3

py314-z3

z3-java

Port Health:

Loading Port Health

Installations (30 days)

18

Requested Installations (30 days)

10

Livecheck results

z3 seems to have been updated (port version: 4.15.4, new version: 4.15.7)

livecheck ran: 18 hours ago

z3 (math/z3) Updated: 3 months ago Add to my watchlist 1