Download and install cvc5 from the binaries of the github release

Author: NlightNFotis

.github/workflows/pull-request-checks.yaml

@@ -20,6 +20,11 @@ jobs:
           sudo apt-get install --no-install-recommends -yq gcc gdb g++ maven jq flex bison libxml2-utils ccache cmake z3
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc-5 from the releases page and make sure it can be deployed
+        run: |
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-Linux
+          chmod u+x cvc5-Linux
+          $PWD/cvc5-Linux --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -82,6 +87,11 @@ jobs:
           cpanm Thread::Pool::Simple
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc-5 from the releases page and make sure it can be deployed
+        run: |
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-Linux
+          chmod u+x cvc5-Linux
+          $PWD/cvc5-Linux --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -145,6 +155,11 @@ jobs:
           cpanm Thread::Pool::Simple
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc-5 from the releases page and make sure it can be deployed
+        run: |
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-Linux
+          chmod u+x cvc5-Linux
+          $PWD/cvc5-Linux --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -180,6 +195,11 @@ jobs:
           sudo apt-get install --no-install-recommends -yq cmake ninja-build gcc gdb g++ maven flex bison libxml2-utils dpkg-dev ccache doxygen z3
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc-5 from the releases page and make sure it can be deployed
+        run: |
+          wget https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-Linux
+          chmod u+x cvc5-Linux
+          $PWD/cvc5-Linux --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -309,6 +329,11 @@ jobs:
         run: brew install maven flex bison parallel ccache z3
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc5 binary and make sure it can be deployed
+        run: |
+          curl -L https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-macOS --output cvc5
+          chmod u+x cvc5
+          ./cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with:
@@ -353,6 +378,11 @@ jobs:
         run: brew install cmake ninja maven flex bison ccache z3
       - name: Confirm z3 solver is available and log the version installed
         run: z3 --version
+      - name: Download cvc5 binary and make sure it can be deployed
+        run: |
+          curl -L https://github.com/cvc5/cvc5/releases/download/cvc5-0.0.7/cvc5-macOS --output cvc5
+          chmod u+x cvc5
+          ./cvc5 --version
       - name: Prepare ccache
         uses: actions/cache@v2
         with: