Package listing

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

Current Version:
cvc4
Open-source automatic theorem prover for SMT
Current Version: 1.4