Does not work on macOS M2

[MohamadRammal10]

Hello I tried to install cvc4 with "brew install cvc4/cvc4/cvc4" but it give me "cvc4: The x86_64 architecture is required for this software."
Can you help me please ?

[mpreiner]

CVC4 is not actively developed anymore. Please consider using cvc5 instead: https://github.com/cvc5/cvc5
cvc5 is supported for M2 and you can find the cvc5 homebrew tap here: https://github.com/cvc5/homebrew-cvc5