cprover
|
Decision procedure with incremental SMT2 solving. More...
#include <solvers/stack_decision_procedure.h>
Go to the source code of this file.
Classes | |
class | smt2_incremental_decision_proceduret |
Decision procedure with incremental SMT2 solving.
Definition in file smt2_incremental_decision_procedure.h.