From f16020c5bb6d38674dfe668a86f52d9a56c742ae Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Tue, 6 Jan 2026 21:49:32 +0000
Subject: [PATCH] chore(deps): update dependency
 org.junit.jupiter:junit-jupiter to v6.0.2

| datasource | package                         | from  | to    |
| ---------- | ------------------------------- | ----- | ----- |
| maven      | org.junit.jupiter:junit-jupiter | 6.0.1 | 6.0.2 |
---
 java/build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/java/build.gradle b/java/build.gradle
index 09e74cd..b21ae8c 100644
--- a/java/build.gradle
+++ b/java/build.gradle
@@ -26,7 +26,7 @@ dependencies {
   implementation 'org.ow2.sat4j:org.ow2.sat4j.core:2.3.5'
   implementation 'org.ow2.sat4j:org.ow2.sat4j.pb:2.3.5'
   implementation fileTree(include: ['*.jar'], dir: 'libs')
-  testImplementation 'org.junit.jupiter:junit-jupiter:6.0.1'
+  testImplementation 'org.junit.jupiter:junit-jupiter:6.0.2'
   // https://docs.gradle.org/current/userguide/upgrading_version_8.html#test_framework_implementation_dependencies
   testRuntimeOnly 'org.junit.platform:junit-platform-launcher'
 }