Upgrade solvers (#174)

Author: Saloed

.github/workflows/run-long-tests.yml

@@ -100,8 +100,18 @@ jobs:
             --no-daemon
             '-PtestDataRevision=${{ env.TEST_DATA_REVISION }}'
 
+  show_info:
+    needs: [setup]
+    runs-on: ubuntu-latest
+    steps:
+      - name: Show test info
+        run: echo "${{ fromJSON(needs.setup.outputs.matrix-tests) }}"
+
+      - name: Show chunk info
+        run: echo "${{ fromJSON(needs.setup.outputs.matrix-chunks) }}"
+
   run_tests:
-    needs: [setup, prepare_test_data]
+    needs: [setup, show_info, prepare_test_data]
     continue-on-error: true
     strategy:
       matrix:

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.5.30)
+[![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)
 [![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.5.30")
+implementation("io.ksmt:ksmt-core:0.6.1")
 // z3 solver
-implementation("io.ksmt:ksmt-z3:0.5.30")
+implementation("io.ksmt:ksmt-z3:0.6.1")
 ```
 
 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.5.30"
+version = "0.6.1"
 
 repositories {
     mavenCentral()

docs/getting-started.md

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

examples/build.gradle.kts

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