Fix linear integer solver for non-optimizing problems

paultristanwagner · Mar 6, 2024 · 7dc927b · 7dc927b
1 parent 472e90a
commit 7dc927b
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/main/java/me/paultristanwagner/satchecking/theory/solver/LinearIntegerSolver.java b/src/main/java/me/paultristanwagner/satchecking/theory/solver/LinearIntegerSolver.java
@@ -89,7 +89,10 @@ public TheoryResult<LinearConstraint> solve() {
     boolean isMinimizationProblem = simplexSolver.isMinimization();
 
     Number localOptimum = null;
-    LinearTerm objective = simplexSolver.getOriginalObjective().getLeftHandSide();
+    LinearTerm objective = null;
+    if (isOptimizationProblem) {
+      objective = simplexSolver.getOriginalObjective().getLeftHandSide();
+    }
 
     TheoryResult<LinearConstraint> aResult = solverA.solve();
     if (aResult.isUnknown()) {