diff --git a/pom.xml b/pom.xml
index fa020eba60..4776af4439 100644
--- a/pom.xml
+++ b/pom.xml
@@ -30,7 +30,7 @@
         <maven-surefire-plugin.version>3.1.2</maven-surefire-plugin.version>
 
         <!-- 3rd party solver versions -->
-        <java-smt.version>5.0.0</java-smt.version>
+        <java-smt.version>5.0.1</java-smt.version>
         <bitwuzla.version>0.4.0-g4dbf3b1f</bitwuzla.version>
         <boolector.version>3.2.2-g1a89c229</boolector.version>
         <mathsat.version>5.6.10</mathsat.version>
@@ -39,7 +39,7 @@
         <opensmt.version>2.6.0-g2f72cc0e</opensmt.version>
         <yices2-api.version>4.1.1-734-g3732f7e08</yices2-api.version>
         <yices2.version>2.6.2-396-g194350c1</yices2.version>
-        <z3.version>4.12.5</z3.version>
+        <z3.version>4.13.0</z3.version>
 
         <!-- 3rd party library versions -->
         <antlr.version>4.13.0</antlr.version>
@@ -154,14 +154,14 @@
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>so</type>
-                    <classifier>libz3</classifier>
+                    <classifier>libz3-x64</classifier>
                 </dependency>
                 <dependency>
                     <groupId>org.sosy-lab</groupId>
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>so</type>
-                    <classifier>libz3java</classifier>
+                    <classifier>libz3java-x64</classifier>
                 </dependency>
 
                 <!-- Bitwuzla dependencies -->
@@ -342,14 +342,14 @@
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>so</type>
-                                        <classifier>libz3java</classifier>
+                                        <classifier>libz3java-x64</classifier>
                                         <destFileName>libz3java.so</destFileName>
                                     </artifactItem>
                                     <artifactItem>
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>so</type>
-                                        <classifier>libz3</classifier>
+                                        <classifier>libz3-x64</classifier>
                                         <destFileName>libz3.so</destFileName>
                                     </artifactItem>
 
@@ -506,14 +506,14 @@
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>dylib</type>
-                    <classifier>libz3</classifier>
+                    <classifier>libz3-x64</classifier>
                 </dependency>
                 <dependency>
                     <groupId>org.sosy-lab</groupId>
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>dylib</type>
-                    <classifier>libz3java</classifier>
+                    <classifier>libz3java-x64</classifier>
                 </dependency>
             </dependencies>
             <build>
@@ -538,14 +538,14 @@
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>dylib</type>
-                                        <classifier>libz3java</classifier>
+                                        <classifier>libz3java-x64</classifier>
                                         <destFileName>libz3java.dylib</destFileName>
                                     </artifactItem>
                                     <artifactItem>
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>dylib</type>
-                                        <classifier>libz3</classifier>
+                                        <classifier>libz3-x64</classifier>
                                         <destFileName>libz3.dylib</destFileName>
                                     </artifactItem>
                                 </artifactItems>
@@ -570,10 +570,66 @@
                 </os>
             </activation>
             <dependencies>
-                <!-- TODO: Add Z3 dependencies once they exist.
-                As for now, a user has to manually download
-                the correct Z3 binaries from Z3's repo  -->
-            </dependencies>
+                <!-- Z3 dependencies -->
+                <dependency>
+                    <groupId>org.sosy-lab</groupId>
+                    <artifactId>javasmt-solver-z3</artifactId>
+                    <version>${z3.version}</version>
+                    <type>dylib</type>
+                    <classifier>libz3-arm64</classifier>
+                </dependency>
+                <dependency>
+                    <groupId>org.sosy-lab</groupId>
+                    <artifactId>javasmt-solver-z3</artifactId>
+                    <version>${z3.version}</version>
+                    <type>dylib</type>
+                    <classifier>libz3java-arm64</classifier>
+                </dependency>
+             </dependencies>
+            <build>
+                <pluginManagement>
+                    <plugins>
+                        <plugin>
+                            <artifactId>maven-dependency-plugin</artifactId>
+                            <executions>
+                                <execution>
+                                    <id>copy</id>
+                                    <phase>initialize</phase>
+                                    <goals>
+                                        <goal>copy</goal>
+                                    </goals>
+                                </execution>
+                            </executions>
+                            <configuration>
+                                <outputDirectory>${project.build.directory}/${dat3m.library.path}</outputDirectory>
+                                <artifactItems>
+                                    <!-- Z3 dependencies -->
+                                    <artifactItem>
+                                        <groupId>org.sosy-lab</groupId>
+                                        <artifactId>javasmt-solver-z3</artifactId>
+                                        <type>dylib</type>
+                                        <classifier>libz3java-arm64</classifier>
+                                        <destFileName>libz3java.dylib</destFileName>
+                                    </artifactItem>
+                                    <artifactItem>
+                                        <groupId>org.sosy-lab</groupId>
+                                        <artifactId>javasmt-solver-z3</artifactId>
+                                        <type>dylib</type>
+                                        <classifier>libz3-arm64</classifier>
+                                        <destFileName>libz3.dylib</destFileName>
+                                    </artifactItem>
+                                </artifactItems>
+                            </configuration>
+                        </plugin>
+                        <plugin>
+                            <artifactId>maven-surefire-plugin</artifactId>
+                            <configuration>
+                                <argLine>@{argLine} -Djava.library.path=${project.build.directory}/${dat3m.library.path}:${java.library.path}</argLine>
+                            </configuration>
+                        </plugin>
+                    </plugins>
+                </pluginManagement>
+            </build>
         </profile>
         <profile>
             <id>windows</id>
@@ -589,14 +645,14 @@
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>dll</type>
-                    <classifier>libz3</classifier>
+                    <classifier>libz3-x64</classifier>
                 </dependency>
                 <dependency>
                     <groupId>org.sosy-lab</groupId>
                     <artifactId>javasmt-solver-z3</artifactId>
                     <version>${z3.version}</version>
                     <type>dll</type>
-                    <classifier>libz3java</classifier>
+                    <classifier>libz3java-x64</classifier>
                 </dependency>
 
                 <!-- Bitwuzla dependencies -->
@@ -653,14 +709,14 @@
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>dll</type>
-                                        <classifier>libz3java</classifier>
+                                        <classifier>libz3java-x64</classifier>
                                         <destFileName>libz3java.dll</destFileName>
                                     </artifactItem>
                                     <artifactItem>
                                         <groupId>org.sosy-lab</groupId>
                                         <artifactId>javasmt-solver-z3</artifactId>
                                         <type>dll</type>
-                                        <classifier>libz3</classifier>
+                                        <classifier>libz3-x64</classifier>
                                         <destFileName>libz3.dll</destFileName>
                                     </artifactItem>