avoid caching UNSAT results

aia-uclouvain · Oct 16, 2024 · eae4120 · eae4120
1 parent 212874c
commit eae4120
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/solver.rs b/src/solver.rs
@@ -311,7 +311,9 @@ impl<B: BranchingDecision, const S: bool, const C: bool> Solver<B, S, C> {
             backtrack_level,
             cache_index: cache_entry.cache_key_index,
         };
-        self.cache.insert(cache_key, cache_entry);
+        if cache_entry.bounds.0 != 0.0 {
+            self.cache.insert(cache_key, cache_entry);
+        }
         result
     }
 }