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