Create symlink for `cvc4` when installing `--HEAD`

CVC4 / homebrew-cvc4

Homebrew formula for CVC4

4 stars 7 forks source link

Create symlink for `cvc4` when installing `--HEAD` #52

Closed 4tXJ7f closed 3 years ago

4tXJ7f commented 3 years ago

In anticipation of the cvc5 release, the binary name has changed to cvc5. This commit introduces a cvc4 symlink s.t. existing users of CVC4 can continue calling cvc4 while cvc5 is not officially released yet.