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