Merge pull request #178 from bacecek/users/bacecek/update_logicng

Update logicng to 2.5.0
yandex · Nov 8, 2024 · 773c9b3 · 773c9b3
2 parents 31f7fe4 + c3e0b55
commit 773c9b3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/buildSrc/settings.gradle.kts b/buildSrc/settings.gradle.kts
@@ -21,7 +21,7 @@ dependencyResolutionManagement {
             library("poets-java", "com.squareup:javapoet:1.13.0")
             library("poets-kotlin", "com.squareup:kotlinpoet:1.11.0")
 
-            library("logicng", "org.logicng:logicng-j11:2.4.2")
+            library("logicng", "org.logicng:logicng:2.5.0")
 
             val yataganDogFood = "1.2.1"
             library("yataganDogFood-api", "com.yandex.yatagan", "api-compiled").version(yataganDogFood)
@@ -35,4 +35,4 @@ dependencyResolutionManagement {
             library("assertj", "org.assertj:assertj-core:3.23.1")
         }
     }
-}
+}
diff --git a/yatagan.version b/yatagan.version
@@ -1 +1 @@
-1.5.0
+1.5.1