10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_ZCHAFF_H 11 #define CPROVER_SOLVERS_SAT_SATCHECK_ZCHAFF_H 52 #endif // CPROVER_SOLVERS_SAT_SATCHECK_ZCHAFF_H virtual const std::string solver_text()
virtual ~satcheck_zchaff_baset()
satcheck_zchaff_baset(CSolver *_solver)
virtual void set_assignment(literalt a, bool value)
virtual resultt prop_solve()
virtual tvt l_get(literalt a) const
virtual ~satcheck_zchafft()
CSolver * zchaff_solver()