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

"z3-fstar" depends on

build (5)

extract (1)

run (1)

Ports that depend on "z3-fstar"

lib (1)

Port notes

Add the following directory to your PATH environment variable to
permit F* to automatically discover the installed F*-qualified z3
binaries:
${prefix}/libexec/z3-fstar/bin