10#ifndef CPROVER_SOLVERS_QBF_QBF_QUANTOR_H
11#define CPROVER_SOLVERS_QBF_QBF_QUANTOR_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
qbf_quantort(message_handlert &message_handler)
virtual resultt prop_solve()
tvt l_get(literalt a) const override
std::string solver_text() const override
resultt
The result of goto verifying.