Update JavaSMT version (with support for OpenSMT)

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 11, 2023 · 282b921 · 282b921
1 parent ebe38ef
commit 282b921
Showing 1 changed file with 42 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -30,12 +30,13 @@
         <maven-surefire-plugin.version>3.1.2</maven-surefire-plugin.version>
 
         <!-- 3rd party solver versions -->
-        <java-smt.version>4.0.2</java-smt.version>
+        <java-smt.version>4.1.0</java-smt.version>
         <boolector.version>3.2.2-g1a89c229</boolector.version>
         <mathsat.version>5.6.10</mathsat.version>
         <cvc4.version>1.8-prerelease-2020-06-24-g7825d8f28</cvc4.version>
         <cvc5.version>1.0.5-g4cb2ab9eb</cvc5.version>
-        <yices2-api.version>4.0.1</yices2-api.version>
+        <opensmt.version>2.5.2-g7f502169</opensmt.version>
+        <yices2-api.version>4.1.0-1-gc58fe5b4</yices2-api.version>
         <yices2.version>2.6.2-396-g194350c1</yices2.version>
         <z3.version>4.12.2</z3.version>
 
@@ -270,6 +271,29 @@
                     <classifier>libpolyxx</classifier>
                 </dependency>
 
+                <!-- OpenSMT dependencies -->
+                <dependency>
+                    <groupId>org.sosy-lab</groupId>
+                    <artifactId>javasmt-solver-opensmt</artifactId>
+                    <version>${opensmt.version}</version>
+                    <type>jar</type>
+                    <classifier>opensmt</classifier>
+                </dependency>
+                <dependency>
+                    <groupId>org.sosy-lab</groupId>
+                    <artifactId>javasmt-solver-opensmt</artifactId>
+                    <version>${opensmt.version}</version>
+                    <type>so</type>
+                    <classifier>libopensmt</classifier>
+                </dependency>
+                <dependency>
+                    <groupId>org.sosy-lab</groupId>
+                    <artifactId>javasmt-solver-opensmt</artifactId>
+                    <version>${opensmt.version}</version>
+                    <type>so</type>
+                    <classifier>libopensmtjava</classifier>
+                </dependency>
+
                 <!-- Yices2 dependencies -->
                 <dependency>
                     <groupId>org.sosy-lab</groupId>
@@ -410,6 +434,22 @@
                                         <destFileName>libpolyxx.so</destFileName>
                                     </artifactItem>
 
+                                    <!-- OpenSMT dependencies -->
+                                    <artifactItem>
+                                        <groupId>org.sosy-lab</groupId>
+                                        <artifactId>javasmt-solver-opensmt</artifactId>
+                                        <type>so</type>
+                                        <classifier>libopensmtjava</classifier>
+                                        <destFileName>libopensmtjava.so</destFileName>
+                                    </artifactItem>
+                                    <artifactItem>
+                                        <groupId>org.sosy-lab</groupId>
+                                        <artifactId>javasmt-solver-opensmt</artifactId>
+                                        <type>so</type>
+                                        <classifier>libopensmt</classifier>
+                                        <destFileName>libopensmt.so</destFileName>
+                                    </artifactItem>
+
                                     <!-- Yices2 dependencies -->
                                     <artifactItem>
                                         <groupId>org.sosy-lab</groupId>