changed sat4J version to 2.3.6 for debugging openDSE

build.gradle

@@ -19,7 +19,7 @@ mainClassName = 'org.opt4j.core.start.Opt4J'
 ext{
 	opt4jJavaVersion = "21"
 	guiceVersion = "7.0.0"
-	sat4jVersion = "2.3.5"
+	sat4jVersion = "2.3.6"
 	junitVersion = "5.10.2"
 	mockitoVersion = "5.10.0"
 	jacocoVersion = "0.8.11"

opt4j-satdecoding/src/main/java/org/opt4j/satdecoding/sat4j/VariableOrder.java

@@ -70,7 +70,7 @@ public void setLits(ILits lits) {
 		activity = new double[nlength];
 		phase = new boolean[nlength];
 		activity[0] = -1;
-		heap = new Heap(activity);
+		heap = createHeap(activity);
 		heap.setBounds(nlength);
 		for (int i = 1; i < nlength; i++) {
 			assert i > 0;
@@ -96,17 +96,6 @@ public void init() {
 		// nothing to be done
 	}
 
-	/*
-	 * (non-Javadoc)
-	 * 
-	 * @see org.sat4j.minisat.orders.VarOrderHeap#updateActivity(int)
-	 */
-	@Override
-	protected void updateActivity(final int var) {
-		if ((activity[var] += varInc) > VAR_RESCALE_BOUND) {
-			varRescaleActivity();
-		}
-	}
 
 	/**
 	 * Increments the activity of a variable {@code var} by the specified
@@ -115,6 +104,7 @@ protected void updateActivity(final int var) {
 	 * @param var the variable
 	 * @param inc the value to increment the variable
 	 */
+	@Override
 	protected void updateActivity(final int var, final double inc) {
 		if ((activity[var] += inc) > VAR_RESCALE_BOUND) {
 			varRescaleActivity();