Remove the Z3 dependency for now and solely invokes it from the comma…

…nd-line

build.gradle

@@ -33,9 +33,6 @@ subprojects {
         implementation group: 'com.google.inject', name: 'guice', version: guiceVersion
         // https://mvnrepository.com/artifact/commons-cli/commons-cli
         implementation group: 'commons-cli', name: 'commons-cli', version: commonsCliVersion
-        // https://search.maven.org/artifact/tools.aqua/z3-turnkey/4.8.16/jar
-        implementation "tools.aqua:z3-turnkey:${z3Version}"
-
     }
     dependencies {
         implementation group: 'org.jetbrains.kotlin', name: 'kotlin-stdlib', version: kotlinVersion

gradle.properties

@@ -19,7 +19,6 @@ runtimeVersion=3.24.0
 shadowJarVersion=7.1.2
 xtextGradleVersion=3.0.0
 xtextVersion=2.26.0
-z3Version=4.8.16
 
 [manifestPropertyNames]
 org.eclipse.xtext=xtextVersion

org.lflang/pom.xml

@@ -45,11 +45,6 @@
                     <cleanupDaemonThreads>false</cleanupDaemonThreads> <!-- see https://bugs.eclipse.org/bugs/show_bug.cgi?id=475098#c3 -->
                 </configuration>
                 <dependencies>
-                    <dependency>
-                        <groupId>tools.aqua</groupId>
-                        <artifactId>z3-turnkey</artifactId>
-                        <version>${z3Version}</version>
-                    </dependency>
                     <!-- https://mvnrepository.com/artifact/commons-cli/commons-cli -->
                     <dependency>
                         <groupId>commons-cli</groupId>

pom.xml

@@ -25,7 +25,6 @@
         <xtextVersion>2.26.0</xtextVersion>
         <tychoVersion>2.6.0</tychoVersion>
         <runtimeVersion>3.24.0</runtimeVersion>
-        <z3Version>4.8.16</z3Version>
         <!-- Maven only properties -->
         <maven.compiler.source>17</maven.compiler.source>
         <maven.compiler.target>17</maven.compiler.target>