10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_ZCORE_H 11 #define CPROVER_SOLVERS_SAT_SATCHECK_ZCORE_H 36 #endif // CPROVER_SOLVERS_SAT_SATCHECK_ZCORE_H virtual resultt prop_solve()
virtual const std::string solver_text()
std::set< unsigned > in_core
virtual ~satcheck_zcoret()
virtual tvt l_get(literalt a) const
bool is_in_core(literalt l) const