z3 (math/z3) Updated: 1 week, 5 days ago Add to my watchlist

Z3 Theorem Prover

High performance SMT solver from Microsoft Research.

Version: 4.15.4 License: MIT GitHub
Displaying statistics for 1,177 users who made submissions during: until

Statistics for selected duration

2025-Oct-23 to 2025-Nov-22


Total Installations 18
Requested Installations 11


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:
3 hours ago
98d9322f

Most recent build (in app's database) ran:
4 hours ago

Latest stats submission was received:
26 seconds ago