z3-fstar-legacy (math/z3) Updated: 10 months, 1 week 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	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) 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) universal (Build for multiple architectures)

Subport(s) (13)

py27-z3

py310-z3

py311-z3

py312-z3

py313-z3

py314-z3

py37-z3

py38-z3

py39-z3

py-z3

z3-fstar

z3-java

"z3-fstar-legacy" depends on

extract (1)

build (6)

bash

clang-20

cmake

ninja

py313-setuptools

python313

Ports that depend on "z3-fstar-legacy"

run (1)

z3-fstar

Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck results

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

livecheck ran: 10 hours ago

z3-fstar-legacy (math/z3) Updated: 10 months, 1 week ago Add to my watchlist 0