Update z3 tested date

LeventErkok · Sep 23, 2024 · 245e2ed · 245e2ed
1 parent 481bb1b
commit 245e2ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 Sep 20th, 2024
+      * Version as downloaded from the above site on Sep 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.