10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_ZCORE_H
11 #define CPROVER_SOLVERS_SAT_SATCHECK_ZCORE_H
tvt l_get(literalt a) const override
virtual ~satcheck_zcoret()
resultt do_prop_solve() override
bool is_in_core(literalt l) const
std::set< unsigned > in_core
const std::string solver_text() override
resultt
The result of goto verifying.