From f3ba038674de7fd4707790ad374805777043e8ed Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Mon, 25 Nov 2024 08:23:36 -0800
Subject: [PATCH] Update cvc5 tested date

---
 SMTSolverVersions.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
index e521b7a6..291bef0e 100644
--- a/SMTSolverVersions.md
+++ b/SMTSolverVersions.md
@@ -17,7 +17,7 @@ report any issues you might see with newer releases.
         on Jul 27, 2020.
   * CVC5:
       * https://github.com/cvc5/cvc5
-      * Version 1.0.8, downloaded compiled from GitHub repo on Dec 5th, 2023.
+      * Version 1.2.0
   * dReal:
       * http://dreal.github.io/
       * Version installed via `brew tap dreal/dreal; brew rm dreal; brew install dreal --HEAD`