From 48e2671b4f0efe5b4a58833e9f711a9ee4d4c90a Mon Sep 17 00:00:00 2001
From: Alexey Menshutin <alex.menshutin99@gmail.com>
Date: Mon, 13 Mar 2023 16:33:28 +0300
Subject: [PATCH] Downgrade z3 version (#83)

* Downgrade z3 version

* Version up: 0.4.2
---
 README.md                                              | 4 ++--
 buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts | 2 +-
 docs/getting-started.md                                | 6 +++---
 examples/build.gradle.kts                              | 4 ++--
 ksmt-z3/build.gradle.kts                               | 4 ++--
 5 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/README.md b/README.md
index 857ad7b66..905cd2013 100644
--- a/README.md
+++ b/README.md
@@ -14,9 +14,9 @@ repositories {
 }
 
 // core 
-implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.1")
+implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")
 // z3 solver
-implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.1")
+implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
 ```
 
 ## Usage
diff --git a/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts b/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts
index 788c8efe0..65eea3b01 100644
--- a/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts
+++ b/buildSrc/src/main/kotlin/org.ksmt.ksmt-base.gradle.kts
@@ -9,7 +9,7 @@ plugins {
 }
 
 group = "org.ksmt"
-version = "0.4.1"
+version = "0.4.2"
 
 repositories {
     mavenCentral()
diff --git a/docs/getting-started.md b/docs/getting-started.md
index e257b3de8..7fbe08cc7 100644
--- a/docs/getting-started.md
+++ b/docs/getting-started.md
@@ -18,7 +18,7 @@ repositories {
 ```kotlin
 dependencies {
     // core 
-    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.1")    
+    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")    
 }
 ```
 
@@ -26,9 +26,9 @@ dependencies {
 ```kotlin
 dependencies {
     // z3 
-    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.1")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
     // bitwuzla
-    implementation("com.github.UnitTestBot.ksmt:ksmt-bitwuzla:0.4.1")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-bitwuzla:0.4.2")
 }
 ```
 SMT solver specific packages are provided with solver native binaries. 
diff --git a/examples/build.gradle.kts b/examples/build.gradle.kts
index 801332a7a..8d14d3512 100644
--- a/examples/build.gradle.kts
+++ b/examples/build.gradle.kts
@@ -10,9 +10,9 @@ repositories {
 
 dependencies {
     // core
-    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.1")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-core:0.4.2")
     // z3 solver
-    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.1")
+    implementation("com.github.UnitTestBot.ksmt:ksmt-z3:0.4.2")
 }
 
 java {
diff --git a/ksmt-z3/build.gradle.kts b/ksmt-z3/build.gradle.kts
index 3e00ad215..2ba598a3c 100644
--- a/ksmt-z3/build.gradle.kts
+++ b/ksmt-z3/build.gradle.kts
@@ -9,13 +9,13 @@ repositories {
     mavenCentral()
 }
 
-val z3Version = "4.12.1"
+val z3Version = "4.11.2"
 
 val z3JavaJar by lazy { mkZ3ReleaseDownloadTask("x64-win", "*.jar") }
 
 val z3Binaries = listOf(
     mkZ3ReleaseDownloadTask("x64-win", "*.dll"),
-    mkZ3ReleaseDownloadTask("x64-glibc-2.35", "*.so"),
+    mkZ3ReleaseDownloadTask("x64-glibc-2.31", "*.so"),
     mkZ3ReleaseDownloadTask("x64-osx-10.16", "*.dylib"),
     mkZ3ReleaseDownloadTask("arm64-osx-11.0", "*.dylib")
 )