Update

meelgroup · Apr 25, 2024 · c27372e · c27372e
1 parent c85baba
commit c27372e
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/sampler.cpp b/src/sampler.cpp
@@ -322,7 +322,6 @@ void Sampler::simplify()
     solver->set_intree_probe(1);
     solver->set_full_bve_iter_ratio(appmc->get_var_elim_ratio());
     solver->set_full_bve(1);
-    solver->set_bva(1);
     solver->set_distill(1);
     solver->set_scc(1);
 
@@ -331,7 +330,6 @@ void Sampler::simplify()
     solver->set_sls(0);
     solver->set_intree_probe(0);
     solver->set_full_bve(0);
-    solver->set_bva(0);
     solver->set_distill(0);
     //solver->set_scc(0);
 }