z3-fstar-legacy (math/z3) Updated: 18 hours ago Add to my watchlist

Legacy F*-qualified release of the Z3 Theorem Prover

Private version of the Z3 Theorem Prover for use by (and qualified to work with) F* (legacy version).

Version: 4.8.5 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)
  • pgo (Enable profile-guided optimization)
  • 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)
  • 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
z3-fstar
z3-java

"z3-fstar-legacy" depends on

extract (1)
xz
build (6)
bash
clang-17
cmake
ninja
py312-setuptools
python312

Ports that depend on "z3-fstar-legacy"



Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0



Quick Links:
MacPorts
Port Information was updated:
an hour ago
622a3b50

Most recent build (in app's database) ran:
44 minutes ago

Latest stats submission was received:
16 minutes ago