10#ifndef CPROVER_SOLVERS_SAT_SATCHECK_ZCHAFF_H
11#define CPROVER_SOLVERS_SAT_SATCHECK_ZCHAFF_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
resultt do_prop_solve() override
virtual ~satcheck_zchaff_baset()
CSolver * zchaff_solver()
const std::string solver_text() override
void set_assignment(literalt a, bool value) override
tvt l_get(literalt a) const override
virtual ~satcheck_zchafft()
resultt
The result of goto verifying.