From cc703a474a762b33f245ea9cc2639a0e33e06be5 Mon Sep 17 00:00:00 2001
From: M Piotrow <marek.piotrow@cs.uni.wroc.pl>
Date: Mon, 8 Jul 2024 13:58:03 +0200
Subject: [PATCH] Fixing the function setFrozen in CadicalWrap.h

---
 CadicalWrap.h | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CadicalWrap.h b/CadicalWrap.h
index 732f73b..b73bb17 100644
--- 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]));