cprover
|
Decision procedure with incremental SMT2 solving. More...
#include <solvers/smt2_incremental/smt_terms.h>
#include <solvers/stack_decision_procedure.h>
#include <util/message.h>
#include <util/std_expr.h>
#include <memory>
#include <unordered_map>
#include <unordered_set>
Go to the source code of this file.
Classes | |
class | smt2_incremental_decision_proceduret |
class | smt2_incremental_decision_proceduret::sequencet |
Decision procedure with incremental SMT2 solving.
Definition in file smt2_incremental_decision_procedure.h.