remove caffeine

UnitTestBot · Saloed · Feb 17, 2023 · Jan 25, 2023 · Jan 27, 2023 · Jan 17, 2023
commit 88cd4ebcc34fec46829290ae5a4444502a5cf0f6
diff --git a/ksmt-core/build.gradle.kts b/ksmt-core/build.gradle.kts
@@ -5,8 +5,6 @@ plugins {
 }
 
 dependencies {
-    implementation("com.github.ben-manes.caffeine:caffeine:3.1.2")
-
     testImplementation(project(":ksmt-z3"))
     testImplementation("org.junit.jupiter", "junit-jupiter-params", "5.8.2")
 }

diff --git a/ksmt-core/src/main/kotlin/com/github/benmanes/caffeine/cache/WeakCustomEqualityInterner.kt b/ksmt-core/src/main/kotlin/com/github/benmanes/caffeine/cache/WeakCustomEqualityInterner.kt