From 31c4868f470b55b0a54f5f11ed0a346a04adb53e Mon Sep 17 00:00:00 2001 From: Alexandre Dubray Date: Mon, 10 Jun 2024 16:04:04 +0200 Subject: [PATCH] preprocess 0 to false --- src/preprocess.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/preprocess.rs b/src/preprocess.rs index 0f8631f..ac1a12e 100644 --- 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