Fix JDK

.github/workflows/build-and-run-tests.yml

@@ -26,7 +26,7 @@ jobs:
         uses: actions/setup-java@v4
         with:
           java-version: 17
-          distribution: 'zulu'
+          distribution: 'temurin'
           cache: gradle
 
       - name: Setup gradle

.github/workflows/release.yml

@@ -12,11 +12,11 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - name: Set up JDK 17
+      - name: Set up JDK 8
         uses: actions/setup-java@v4
         with:
-          java-version: 17
-          distribution: 'zulu'
+          java-version: 8
+          distribution: 'temurin'
           cache: gradle
 
       - name: Setup gradle

README.md

@@ -11,7 +11,7 @@ Get the most out of SMT solving with KSMT features:
 * Streamlined [solver delivery](#ksmt-distribution) with no need for building a solver or implementing JVM bindings
 
 [![KSMT: build](https://github.com/UnitTestBot/ksmt/actions/workflows/build-and-run-tests.yml/badge.svg)](https://github.com/UnitTestBot/ksmt/actions/workflows/build-and-run-tests.yml)
-[![Maven Central](https://img.shields.io/maven-central/v/io.ksmt/ksmt-core)](https://central.sonatype.com/artifact/io.ksmt/ksmt-core/0.6.1)
+[![Maven Central](https://img.shields.io/maven-central/v/io.ksmt/ksmt-core)](https://central.sonatype.com/artifact/io.ksmt/ksmt-core/0.6.2)
 [![javadoc](https://javadoc.io/badge2/io.ksmt/ksmt-core/javadoc.svg)](https://javadoc.io/doc/io.ksmt/ksmt-core)
 
 ## Get started
@@ -20,9 +20,9 @@ To start using KSMT, install it via [Gradle](https://gradle.org/):
 
 ```kotlin
 // core 
-implementation("io.ksmt:ksmt-core:0.6.1")
+implementation("io.ksmt:ksmt-core:0.6.2")
 // z3 solver
-implementation("io.ksmt:ksmt-z3:0.6.1")
+implementation("io.ksmt:ksmt-z3:0.6.2")
 ```
 
 Find basic instructions in the [Getting started](docs/getting-started.md) guide and try it out with the 

buildSrc/src/main/kotlin/io.ksmt.ksmt-base.gradle.kts

@@ -11,7 +11,7 @@ plugins {
 }
 
 group = "io.ksmt"
-version = "0.6.1"
+version = "0.6.2"
 
 repositories {
     mavenCentral()

docs/getting-started.md

@@ -34,7 +34,7 @@ repositories {
 ```kotlin
 dependencies {
     // core 
-    implementation("io.ksmt:ksmt-core:0.6.1")    
+    implementation("io.ksmt:ksmt-core:0.6.2")    
 }
 ```
 
@@ -43,9 +43,9 @@ dependencies {
 ```kotlin
 dependencies {
     // z3 
-    implementation("io.ksmt:ksmt-z3:0.6.1")
+    implementation("io.ksmt:ksmt-z3:0.6.2")
     // bitwuzla
-    implementation("io.ksmt:ksmt-bitwuzla:0.6.1")
+    implementation("io.ksmt:ksmt-bitwuzla:0.6.2")
 }
 ```
 

examples/build.gradle.kts

@@ -9,11 +9,11 @@ repositories {
 
 dependencies {
     // core
-    implementation("io.ksmt:ksmt-core:0.6.1")
+    implementation("io.ksmt:ksmt-core:0.6.2")
     // z3 solver
-    implementation("io.ksmt:ksmt-z3:0.6.1")
+    implementation("io.ksmt:ksmt-z3:0.6.2")
     // Runner and portfolio solver
-    implementation("io.ksmt:ksmt-runner:0.6.1")
+    implementation("io.ksmt:ksmt-runner:0.6.2")
 }
 
 java {

ksmt-cvc5/ksmt-cvc5-core/build.gradle.kts

@@ -2,7 +2,7 @@ import com.github.jengelman.gradle.plugins.shadow.tasks.ShadowJar
 
 plugins {
     id("io.ksmt.ksmt-base")
-    id("com.gradleup.shadow") version "9.0.0-beta13"
+    id("com.gradleup.shadow") version "9.0.0-beta13" apply false
 }
 
 val distDir = projectDir.parentFile.resolve("dist")
@@ -21,21 +21,23 @@ dependencies {
     testImplementation(project(":ksmt-cvc5:ksmt-cvc5-native"))
 }
 
-tasks.withType<ShadowJar> {
-    archiveClassifier.set("")
+val publishJar = tasks.register<ShadowJar>("publish-jar") {
+    dependsOn(tasks.named("jar"))
+
+    archiveClassifier.set("pub")
     dependencies {
         include(dependency(files(cvc5Jar)))
     }
-    val implementation = project.configurations["implementation"].dependencies.toSet()
-    val runtimeOnly = project.configurations["runtimeOnly"].dependencies.toSet()
-    val dependencies = (implementation + runtimeOnly)
-    project.configurations.shadow.get().dependencies.addAll(dependencies)
+
+    configurations = listOf(project.configurations.runtimeClasspath.get())
+
+    with(tasks.jar.get() as CopySpec)
 }
 
 publishing {
     publications {
         create<MavenPublication>("maven") {
-            project.shadow.component(this)
+            artifact(publishJar.get())
 
             addKsmtPom()
             generateMavenMetadata(project)

ksmt-yices/ksmt-yices-core/build.gradle.kts

@@ -2,7 +2,7 @@ import com.github.jengelman.gradle.plugins.shadow.tasks.ShadowJar
 
 plugins {
     id("io.ksmt.ksmt-base")
-    id("com.gradleup.shadow") version "9.0.0-beta13"
+    id("com.gradleup.shadow") version "9.0.0-beta13" apply false
     `java-test-fixtures`
 }
 
@@ -21,21 +21,23 @@ dependencies {
     testImplementation(project(":ksmt-yices:ksmt-yices-native"))
 }
 
-tasks.withType<ShadowJar> {
-    archiveClassifier.set("")
+val publishJar = tasks.register<ShadowJar>("publish-jar") {
+    dependsOn(tasks.named("jar"))
+
+    archiveClassifier.set("pub")
     dependencies {
         exclude { true }
     }
-    val implementation = project.configurations["implementation"].dependencies.toSet()
-    val runtimeOnly = project.configurations["runtimeOnly"].dependencies.toSet()
-    val dependencies = (implementation + runtimeOnly)
-    project.configurations.shadow.get().dependencies.addAll(dependencies)
+
+    configurations = listOf(project.configurations.runtimeClasspath.get())
+
+    with(tasks.jar.get() as CopySpec)
 }
 
 publishing {
     publications {
         create<MavenPublication>("maven") {
-            project.shadow.component(this)
+            artifact(publishJar.get())
 
             addKsmtPom()
             generateMavenMetadata(project)

ksmt-z3/ksmt-z3-core/build.gradle.kts

@@ -2,7 +2,7 @@ import com.github.jengelman.gradle.plugins.shadow.tasks.ShadowJar
 
 plugins {
     id("io.ksmt.ksmt-base")
-    id("com.gradleup.shadow") version "9.0.0-beta13"
+    id("com.gradleup.shadow") version "9.0.0-beta13" apply false
 }
 
 repositories {
@@ -23,21 +23,23 @@ dependencies {
     testImplementation(project(":ksmt-z3:ksmt-z3-native"))
 }
 
-tasks.withType<ShadowJar> {
-    archiveClassifier.set("")
+val publishJar = tasks.register<ShadowJar>("publish-jar") {
+    dependsOn(tasks.named("jar"))
+
+    archiveClassifier.set("pub")
     dependencies {
         include(dependency(z3JavaJar.outputFiles))
     }
-    val implementation = project.configurations["implementation"].dependencies.toSet()
-    val runtimeOnly = project.configurations["runtimeOnly"].dependencies.toSet()
-    val dependencies = (implementation + runtimeOnly)
-    project.configurations.shadow.get().dependencies.addAll(dependencies)
+
+    configurations = listOf(project.configurations.runtimeClasspath.get())
+
+    with(tasks.jar.get() as CopySpec)
 }
 
 publishing {
     publications {
         create<MavenPublication>("maven") {
-            project.shadow.component(this)
+            artifact(publishJar.get())
 
             addKsmtPom()
             generateMavenMetadata(project)