From 8766dfe6ed13af78590fa5963fff3a4788ab8690 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Sat, 23 Mar 2024 11:51:42 -0700
Subject: [PATCH] update z3 tested date

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

diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
index 9fb5709e7..0ecf10fa3 100644
--- a/SMTSolverVersions.md
+++ b/SMTSolverVersions.md
@@ -33,7 +33,7 @@ report any issues you might see with newer releases.
       * Version 2.6.2 as downloaded from the above site on Apr 7, 2020
   * Z3:
       * http://github.com/Z3Prover/z3
-      * Version as downloaded from the above site on Mar 15th, 2024
+      * Version as downloaded from the above site on Mar 23rd, 2024
       * SBV typically relies on latest features of z3, so compiling directly
         from the sources is recommended. If that's not possible, you should
         always use their latest release.