About the App
- App name: cvc4
- App description: Open-source automatic theorem prover for SMT
- App website: https://cvc4.cs.nyu.edu/
Install the App
Command+Spaceand type Terminal and press enter/return key.
- Copy and paste the following command in Terminal app:
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"
and press enter/return key. Wait for the command to finish. If you are prompted to enter a password, please type your Mac user's login password and press ENTER. Mind you, as you type your password, it won't be visible on your Terminal (for security reasons), but rest assured it will work.
- Now, copy/paste and run this command to make brew command available inside the Terminal:
echo 'eval "$(/opt/homebrew/bin/brew shellenv)"' >> ~/.zprofile
- Copy and paste the following command:
brew install cvc4
Done! You can now use