43 std::string qbf_tmp_file=
"quantor.qdimacs";
44 std::string result_tmp_file=
"quantor.out";
47 std::ofstream out(qbf_tmp_file.c_str());
55 "quantor "+qbf_tmp_file+
" -o "+result_tmp_file).c_str());
62 std::ifstream in(result_tmp_file.c_str());
64 bool result_found=
false;
69 std::getline(in, line);
71 if(line!=
"" && line[line.size()-1]==
'\r')
72 line.resize(line.size()-1);
80 else if(line==
"s FALSE")
virtual tvt l_get(literalt a) const
#define CHECK_RETURN(CONDITION)
virtual size_t no_clauses() const
mstreamt & result() const
mstreamt & status() const
virtual const std::string solver_text()
#define UNREACHABLE
This should be used to mark dead code.
virtual size_t no_variables() const override
virtual resultt prop_solve()
virtual void write_qdimacs_cnf(std::ostream &out)