Package listing

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

🔎
cvc4
cvc4 1.4 Open-source automatic theorem prover for SMT