Merge pull request #741 from ethereum/update-cvc4-to-cvc5

Update cvc4 to cvc5
ethereum · Jun 21, 2024 · 6b9dc2b · 6b9dc2b
2 parents fa19cf8 + 3ba9758
commit 6b9dc2b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -152,7 +152,7 @@ return either an error or the result from the solver.  A default
 ``smtchecker.js`` which exports the ``smtCallback`` function that takes 1) a
 function that takes queries and returns the solving result, and 2) a solver
 configuration object. The module ``smtsolver.js`` has a few predefined solver
-configurations, and relies on Z3, Eldarica or CVC4 being installed locally.  It
+configurations, and relies on Z3, Eldarica or cvc5 being installed locally.  It
 exports the list of locally found solvers and a function that invokes a given
 solver.
 

diff --git a/smtsolver.ts b/smtsolver.ts
@@ -18,8 +18,8 @@ const potentialSolvers = [
     params: '-horn -t:' + (timeout / 1000) // Eldarica takes timeout in seconds.
   },
   {
-    name: 'cvc4',
-    command: 'cvc4',
+    name: 'cvc5',
+    command: 'cvc5',
     params: '--lang=smt2 --tlimit=' + timeout
   }
 ];