changed sat4J version back to 2.3.5 because with version 2.3.6 there …

…are problems with communication variables in constraints
SDARG · Mar 14, 2024 · e100590 · e100590
1 parent 148724c
commit e100590
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -19,7 +19,7 @@ mainClassName = 'org.opt4j.core.start.Opt4J'
 ext{
 	opt4jJavaVersion = "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"