10 #ifndef CPROVER_SOLVERS_QBF_QBF_SKIZZO_CORE_H 11 #define CPROVER_SOLVERS_QBF_QBF_SKIZZO_CORE_H 34 #endif // CPROVER_SOLVERS_QBF_QBF_SKIZZO_CORE_H
virtual ~qbf_skizzo_coret()
bool get_certificate(void)
virtual modeltypet m_get(literalt a) const
virtual bool is_in_core(literalt l) const
virtual resultt prop_solve()
virtual const std::string solver_text()