Package listing

This is a listing of all packages available via the Homebrew package manager for macOS.

🔎
z3 4.4.0 A high-performance theorem prover
z3 4.5.0 High-performance theorem prover