54 std::ofstream out(
cnf_file.c_str(), std::ios::out);
74 if(!std::getline(in, line))
77 if(!(line.substr(0, 1)==
"c" || line.substr(0, 1)==
"p"))
79 const char *p=line.c_str();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
size_t no_clauses() const override
virtual size_t no_variables() const override
virtual void write_dimacs_cnf(std::ostream &out)
mstreamt & statistics() const
tvt l_get(literalt a) const override
virtual ~satcheck_zcoret()
resultt do_prop_solve() override
std::set< unsigned > in_core
const std::string solver_text() override
#define UNREACHABLE
This should be used to mark dead code.