Commit 0b95f4aa authored by Kučera Petr RNDr. Ph.D.'s avatar Kučera Petr RNDr. Ph.D.
Browse files

Uncommented code in dpelim

parent 042376c3
......@@ -182,7 +182,6 @@ main(int argc, char *argv[])
std::signal(SIGQUIT, term_func);
std::signal(SIGINT, term_func);
dump_config(*conf, 3);
#if 0
auto cnf = SUBool::input_or_die<SUBool::CNF>(conf->input_file, SUBool::logs);
SUBool::PCEncoding enc(cnf, conf->max_input_var, false);
eliminate(enc, *conf);
......@@ -191,6 +190,5 @@ main(int argc, char *argv[])
SUBool::output(conf->output_file, enc);
return 0;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment