49 std::string qbf_tmp_file=
"sKizzo.qdimacs";
50 std::string result_tmp_file=
"sKizzo.out";
53 std::ofstream out(qbf_tmp_file.c_str());
59 std::string options=
"";
63 "sKizzo "+qbf_tmp_file+options+
" > "+result_tmp_file).c_str());
70 std::ifstream in(result_tmp_file.c_str());
72 bool result_found=
false;
77 std::getline(in, line);
79 if(line!=
"" && line[line.size()-1]==
'\r')
80 line.resize(line.size()-1);
82 if(line==
"The instance evaluates to TRUE.")
88 else if(line==
"The instance evaluates to FALSE.")