z3 (math/z3) Updated: 1 week, 3 days ago Add to my watchlist

Z3 Theorem Prover

High performance SMT solver from Microsoft Research.

Version: 4.13.3 License: MIT GitHub
Maintainers landonf
Categories science math
Homepage https://github.com/Z3Prover/z3
Platforms darwin freebsd
Variants
  • 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) (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-17
cmake
ninja
python312

Ports that depend on "z3"



Port Health:

Loading Port Health

Installations (30 days)

21

Requested Installations (30 days)

11



Quick Links:
MacPorts
Port Information was updated:
29 seconds ago
e57726da

Most recent build (in app's database) ran:
36 seconds ago

Latest stats submission was received:
6 seconds ago