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.15.3 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_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) (11)

py27-z3
py310-z3
py311-z3
py312-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
python312
extract (1)
xz

Ports that depend on "z3"



Port Health:

Loading Port Health

Installations (30 days)

19

Requested Installations (30 days)

12



Quick Links:
MacPorts
Port Information was updated:
2 hours ago
bc49c356

Most recent build (in app's database) ran:
8 hours ago

Latest stats submission was received:
4 minutes ago