z3
⭐ Popular⚗️ Formula Utilities v4.15.4
High-performance theorem prover
Installs (90 Days)
144.3K
Page Views
0
Command Copies
0
Last Updated
yesterday
Installation
Install z3 using Homebrew:
Install in Terminal
brew install z3
Quick Stats
Category Utilities
Type Formula
Status ⭐ Popular
Homebrew
Related Utilities Apps
python@3.13
PopularInterpreted, interactive, object-oriented programming language
Utilities v3.13.9