10 #ifndef CPROVER_SOLVERS_SAT_RESOLUTION_PROOF_H 11 #define CPROVER_SOLVERS_SAT_RESOLUTION_PROOF_H 37 template<
class T=clauset>
49 #endif // CPROVER_SOLVERS_SAT_RESOLUTION_PROOF_H
std::vector< T > clausest
void build_core(std::vector< bool > &in_core)
resolution_prooft< clauset > simple_prooft
std::vector< stept > stepst
std::vector< literalt > bvt