Update cvc5 tested date

LeventErkok · Nov 25, 2024 · f3ba038 · f3ba038
1 parent e487bdc
commit f3ba038
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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`