From ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 21 Apr 2021 10:21:34 -0700 Subject: Goodbye CVC4, hello cvc5! (#6371) This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/. --- contrib/get-abc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'contrib/get-abc') diff --git a/contrib/get-abc b/contrib/get-abc index 9f37a69e3..6f5987586 100755 --- a/contrib/get-abc +++ b/contrib/get-abc @@ -38,5 +38,5 @@ else fi echo -echo ===================== Now configure CVC4 with ===================== +echo ===================== Now configure cvc5 with ===================== echo ./configure.sh --abc -- cgit v1.2.3