Sparsify & vivify is not needed for E I think

meelgroup · Nov 21, 2023 · 49bcf1e · 49bcf1e
1 parent a407380
commit 49bcf1e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.cpp b/src/main.cpp
@@ -570,7 +570,7 @@ int main(int argc, char** argv)
             sampling_vars , orig_sampling_set_size, empty_occ_sampl_vars);
         if (with_e) {
             const auto ret = arjun->get_fully_simplified_renumbered_cnf(
-                    sampling_vars, true, true, true, 2, 2, true, false);
+                    sampling_vars, false, false, false, 2, 2, true, false);
             appmc->new_vars(ret.nvars);
             for(const auto& cl: ret.cnf) appmc->add_clause(cl);
             for(const auto& cl: ret.red_cnf) appmc->add_red_clause(cl);