Delete ci-scripts/download-cvc5.sh (#334)

This script is not used anywhere, as far as I can tell. And even if it was, the links don't work anymore.
stanford-centaur · Nov 1, 2023 · 3570d9a · 3570d9a
1 parent 25ead08
commit 3570d9a
Showing 1 changed file with 0 additions and 58 deletions.
diff --git a/ci-scripts/download-cvc5.sh b/ci-scripts/download-cvc5.sh