From c3e0b55aaef6a4decf24a218f98918a3e36d50e7 Mon Sep 17 00:00:00 2001
From: Denis Buzmakov <me@bacecek.dev>
Date: Fri, 8 Nov 2024 16:34:51 +0100
Subject: [PATCH] Update logicng to 2.5.0

---
 buildSrc/settings.gradle.kts | 4 ++--
 yatagan.version              | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/buildSrc/settings.gradle.kts b/buildSrc/settings.gradle.kts
index ff7f3806..ae1b2606 100644
--- 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")
         }
     }
-}
\ No newline at end of file
+}
diff --git a/yatagan.version b/yatagan.version
index bc80560f..26ca5946 100644
--- a/yatagan.version
+++ b/yatagan.version
@@ -1 +1 @@
-1.5.0
+1.5.1