Установка солвера CVC4

Linux

wget https://github.com/CVC4/CVC4-archived/releases/download/1.8/cvc4-1.8-x86_64-linux-opt

sudo cp cvc4-1.8-x86_64-linux-opt /usr/local/bin/cvc4

sudo chmod +x /usr/local/bin/cvc4

cvc4 --version

MacOS

wget https://github.com/CVC4/CVC4-archived/releases/download/1.8/cvc4-1.8-macos-opt

sudo cp cvc4-1.8-macos-opt /usr/local/bin/cvc4

sudo chmod +x /usr/local/bin/cvc4

cvc4 --version