polystat#9 new Expr

Graur · Jul 14, 2022 · ea7d884 · ea7d884
1 parent 229da71
commit ea7d884
Show file tree

Hide file tree

Showing 9 changed files with 296 additions and 323 deletions.
diff --git a/pom.xml b/pom.xml
@@ -80,6 +80,11 @@ SOFTWARE.
     </site>
   </distributionManagement>
   <dependencies>
+    <dependency>
+      <groupId>tools.aqua</groupId>
+      <artifactId>z3-turnkey</artifactId>
+      <version>4.8.17</version>
+    </dependency>
     <dependency>
       <groupId>org.slf4j</groupId>
       <artifactId>slf4j-log4j12</artifactId>