preprocess 0 to false

aia-uclouvain · Jun 10, 2024 · 31c4868 · 31c4868
1 parent ce47406
commit 31c4868
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/preprocess.rs b/src/preprocess.rs
@@ -54,6 +54,9 @@ where
             if self.problem[variable].is_probabilitic() && self.problem[variable].weight().unwrap() == 1.0 {
                 self.propagator.add_to_propagation_stack(variable, true, 0, None);
             }
+            if self.problem[variable].is_probabilitic() && self.problem[variable].weight().unwrap() == 0.0 {
+                self.propagator.add_to_propagation_stack(variable, false, 0, None);
+            }
         }
 
         // Find unit clauses