z3-fstar (math/z3) Updated: 5 days, 21 hours ago 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.13.3 License: MIT GitHub
Displaying statistics for 1,155 users who made submissions during: until

Statistics for selected duration

2025-Feb-03 to 2025-Mar-05


Total Installations 2
Requested Installations 2


macOS Versions

Loading Chart

Port Versions

Loading Chart



Xcode Versions

Loading Chart

CLT Versions

Loading Chart



Variants table

Variants Count


Monthly Statistics

Can remain cached for up to 24 hours










Quick Links:
MacPorts
Port Information was updated:
19 minutes ago
92454744

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

Latest stats submission was received:
11 minutes ago