Cvc5

How do I install these formulae?

brew install cvc5/homebrew-cvc5/cvc5

Or brew tap cvc5/homebrew-cvc5 and then brew install cvc5.

Documentation

brew help, man brew or check Homebrew's documentation.