z3-fstar (math/z3) Add to my watchlist

F*-qualified release of the Z3 Theorem Prover

Private version of the Z3 theorem prover for use by (and qualified to work with) F*.

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

"z3-fstar" depends on

build (5)
extract (1)

Ports that depend on "z3-fstar"

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck results

z3-fstar seems to have been updated (port version: 4.8.5, new version: 4.13.0)

livecheck ran: 19 hours ago