update bitwuzla tested version

LeventErkok · Aug 5, 2024 · 1069192 · 1069192
1 parent f89315f
commit 1069192
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
@@ -10,7 +10,7 @@ report any issues you might see with newer releases.
       * Version 3.2.2
   * Bitwuzla:
       * https://bitwuzla.github.io
-      * Version 0.2.0-dev, downloaded Nov 29, 2023
+      * Version 0.5.0-dev, downloaded Aug 5, 2024
   * CVC4:
       * https://github.com/CVC4/CVC4
       * Version installed via `brew tap cvc4/cvc4; brew rm cvc4; brew install cvc4/cvc4/cvc4 --HEAD`