Package listing

This is a listing of all packages available via the Homebrew package manager for macOS.
z3
A high-performance theorem prover
Current Version: 4.4.0
z3
High-performance theorem prover
Current Version: 4.5.0