fix(ci): fix cvc5/vampire/alt-ergo provisioning in live-provers.yml

- cvc5: old `cvc5-Linux-static` bare binary asset no longer exists;
  download `cvc5-Linux-x86_64-static.zip` (pinned to 1.3.3), extract
  `cvc5-Linux-x86_64-static/bin/cvc5` with `unzip -j`, install to PATH.
- vampire: asset renamed to `vampire-Linux-X64.zip` in v5.x (was
  `vampire-Linux-x86_64.zip`); pin to v5.0.1 and add `--max-time 120`.
- alt-ergo: not present in Ubuntu 24.04 noble apt repos; install the
  prebuilt musl static binary from OCamlPro GitHub releases (v2.6.3).
- All three curl invocations now carry `--max-time 120`.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: hyperpolymath

.github/workflows/live-provers.yml

@@ -79,15 +79,27 @@ jobs:
           sudo apt-get update
           case "${{ matrix.backend }}" in
             z3)         sudo apt-get install -y z3 ;;
-            cvc5)       curl -sSL -o /tmp/cvc5 https://github.com/cvc5/cvc5/releases/latest/download/cvc5-Linux-static
-                        chmod +x /tmp/cvc5
+            cvc5)       # Since cvc5 1.2.0 releases ship as a zip with the binary at
+                        # bin/cvc5; the old bare `cvc5-Linux-static` asset no longer exists.
+                        curl -sSL --max-time 120 -o /tmp/cvc5.zip \
+                          https://github.com/cvc5/cvc5/releases/download/cvc5-1.3.3/cvc5-Linux-x86_64-static.zip
+                        unzip -j -o /tmp/cvc5.zip 'cvc5-Linux-x86_64-static/bin/cvc5' -d /tmp
                         sudo install -m 0755 /tmp/cvc5 /usr/local/bin/cvc5 ;;
-            vampire)    curl -sSL -o /tmp/vampire.zip https://github.com/vprover/vampire/releases/latest/download/vampire-Linux-x86_64.zip
+            vampire)    # Asset was renamed from vampire-Linux-x86_64.zip to
+                        # vampire-Linux-X64.zip starting with v5.x; zip contains
+                        # a single file named `vampire` at the root.
+                        curl -sSL --max-time 120 -o /tmp/vampire.zip \
+                          https://github.com/vprover/vampire/releases/download/v5.0.1/vampire-Linux-X64.zip
                         unzip -j -o /tmp/vampire.zip -d /tmp
                         sudo install -m 0755 /tmp/vampire /usr/local/bin/vampire ;;
             eprover)    sudo apt-get install -y eprover ;;
             spass)      sudo apt-get install -y spass ;;
-            alt-ergo)   sudo apt-get install -y alt-ergo ;;
+            alt-ergo)   # alt-ergo is not in the Ubuntu 24.04 (noble) apt repos.
+                        # Install the prebuilt musl static binary from OCamlPro's
+                        # GitHub releases instead.
+                        curl -sSL --max-time 120 -o /tmp/alt-ergo \
+                          https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.3/alt-ergo-v2.6.3-x86_64-linux-musl
+                        sudo install -m 0755 /tmp/alt-ergo /usr/local/bin/alt-ergo ;;
             glpk)       sudo apt-get install -y glpk-utils ;;
             minizinc)   sudo apt-get install -y minizinc ;;
             chuffed)    sudo apt-get install -y minizinc # chuffed bundled with minizinc-ide on recent ubuntu