changed to opt4J version with old sat4J version

SDARG · Mar 14, 2024 · 8635fa8 · 8635fa8
1 parent 94739e9
commit 8635fa8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -14,7 +14,7 @@ plugins{
 ext{
 	openDseJavaVersion = "21"
 	guiceVersion = "7.0.0"
-	sat4jVersion = "2.3.6"
+	sat4jVersion = "2.3.5"
 	junitVersion = "5.10.2"
 	mockitoVersion = "5.10.0"
 	jacocoVersion = "0.8.11"