z3 (math/z3) Updated: 1 month, 2 weeks ago Add to my watchlist

Z3 Theorem Prover

High performance SMT solver from Microsoft Research.

Version: 4.12.6 License: MIT

GitHub

Maintainers	landonf
Categories	science math
Homepage	https://github.com/Z3Prover/z3
Platforms	darwin freebsd
Variants	debug 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) (10)

py27-z3

py310-z3

py311-z3

py312-z3

py37-z3

py38-z3

py39-z3

py-z3

z3-fstar

z3-java

"z3" depends on

build (5)

bash

clang-16

cmake

ninja

python312

Ports that depend on "z3"

lib (12)

ispc-clang

py27-z3

py37-z3

py-z3

py38-z3

py39-z3

py310-z3

py311-z3

py312-z3

root6

solidity

z3-java

Port Health:

Loading Port Health

Installations (30 days)

23

Requested Installations (30 days)

15

Livecheck results

z3 seems to have been updated (port version: 4.12.6, new version: 4.13.0)

livecheck ran: 23 hours ago

z3 (math/z3) Updated: 1 month, 2 weeks ago Add to my watchlist 1