z3 4.13.4

Author: BrewTestBot

Formula/z/z3.rb

@@ -1,8 +1,8 @@
 class Z3 < Formula
   desc "High-performance theorem prover"
   homepage "https://github.com/Z3Prover/z3"
-  url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.3.tar.gz"
-  sha256 "f59c9cf600ea57fb64ffeffbffd0f2d2b896854f339e846f48f069d23bc14ba0"
+  url "https://github.com/Z3Prover/z3/archive/refs/tags/z3-4.13.4.tar.gz"
+  sha256 "4071977e66e9f3d239b7b098ceddfe62ffdf3c71e345e9524a4a5001d1f4adf3"
   license "MIT"
   head "https://github.com/Z3Prover/z3.git", branch: "master"