Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Stop installing cvc4 on archlinux
This change is in preparation for upgrading to cvc5. Since archlinux is not running SMT tests anyway, we can drop cvc4 from the build immediately.
- Loading branch information