Making it work with the new CMS

meelgroup · Jan 3, 2024 · 3c3d163 · 3c3d163
1 parent fbdb94d
commit 3c3d163
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/counter.cpp b/src/counter.cpp
@@ -353,14 +353,12 @@ void Counter::simplify()
     solver->set_intree_probe(1);
     solver->set_full_bve_iter_ratio(conf.var_elim_ratio);
     solver->set_full_bve(1);
-    solver->set_bva(1);
     solver->set_scc(1);
 
     solver->simplify();
 
     solver->set_sls(0);
     solver->set_full_bve(0);
-    solver->set_bva(0);
 }
 
 //Set up probabilities, threshold and measurements