10 #ifndef CPROVER_SOLVERS_SAT_SATCHECK_LIMMAT_H 11 #define CPROVER_SOLVERS_SAT_SATCHECK_LIMMAT_H 33 #endif // CPROVER_SOLVERS_SAT_SATCHECK_LIMMAT_H
virtual ~satcheck_limmatt()
virtual tvt l_get(literalt a) const
virtual resultt prop_solve()
virtual const std::string solver_text()
std::vector< unsigned char > assignment