From cc7274139990b90aadf25b5d575113fd3350eb8a Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 2 Dec 2025 10:34:32 +0000
Subject: [PATCH] fix(deps): update sat4j to v2.3.6

| datasource | package                          | from  | to    |
| ---------- | -------------------------------- | ----- | ----- |
| maven      | org.ow2.sat4j:org.ow2.sat4j.pb   | 2.3.5 | 2.3.6 |
| maven      | org.ow2.sat4j:org.ow2.sat4j.core | 2.3.5 | 2.3.6 |
---
 java/build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/java/build.gradle b/java/build.gradle
index 7916da4..03815cc 100644
--- a/java/build.gradle
+++ b/java/build.gradle
@@ -21,8 +21,8 @@ test {
 }
 
 dependencies {
-  implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
-  implementation 'org.ow2.sat4j:org.ow2.sat4j.pb:2.3.5'
+  implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.6'
+  implementation 'org.ow2.sat4j:org.ow2.sat4j.pb:2.3.6'
   implementation fileTree(include: ['*.jar'], dir: 'libs')
   testImplementation 'org.junit.jupiter:junit-jupiter:5.14.1'
   // https://docs.gradle.org/current/userguide/upgrading_version_8.html#test_framework_implementation_dependencies