Fixing the function setFrozen in CadicalWrap.h

marekpiotrow · Jul 8, 2024 · cc703a4 · cc703a4
1 parent fc5d4c4
commit cc703a4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/CadicalWrap.h b/CadicalWrap.h
@@ -100,7 +100,11 @@ class SimpSolver {
     int  nFreeVars() const { return nvars; }
     int  nClauses() const { return nclauses; }
     void setPolarity(Var, bool) { /* unsupported */ }
-    void setFrozen(Var , bool ) { /* not needed */ }
+    void setFrozen(Var p, bool set) {
+        int x = lit2val(mkLit(p));
+        if (set) solver->freeze(x);
+        else if (solver->frozen(x)) solver->melt(x);
+    }
 
     bool addClause(const vec<Lit>& cl) {
         for (int i = 0; i < cl.size(); i++) solver->add(lit2val(cl[i]));