Merge branch 'master' into sequence_any_all_filter_higher_order

LeventErkok · Nov 25, 2024 · 37b8174 · 37b8174
2 parents bb74c46 + f3ba038
commit 37b8174
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`