fix(search): set default value for conflict based brancher

plaans · Nov 4, 2024 · 3b6b38e · 3b6b38e
1 parent 18404ea
commit 3b6b38e
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/solver/src/solver/search/conflicts.rs b/solver/src/solver/search/conflicts.rs
@@ -346,9 +346,8 @@ impl ConflictBasedBrancher {
         }
     }
 
-    pub fn set_default_value(&mut self, _var: VarRef, _val: IntCst) {
-        todo!()
-        // self.default_assignment.values.insert(var, val);
+    pub fn set_default_value(&mut self, var: VarRef, val: IntCst) {
+        self.default_assignment.set_from_phase(var, val)
     }
 
     /// Increase the activity of the variable and perform an reordering in the queue.