10#ifndef CPROVER_SOLVERS_QBF_QBF_SKIZZO_H
11#define CPROVER_SOLVERS_QBF_QBF_SKIZZO_H
virtual resultt prop_solve()
std::string solver_text() const override
tvt l_get(literalt a) const override
qbf_skizzot(message_handlert &message_handler)
qdimacs_cnft(message_handlert &message_handler)
resultt
The result of goto verifying.