cprover
|
SMT Version 1 Backend. More...
#include <sstream>
#include <set>
#include <util/std_expr.h>
#include <solvers/prop/prop_conv.h>
#include <solvers/flattening/pointer_logic.h>
#include <solvers/flattening/boolbv_width.h>
Go to the source code of this file.
Classes | |
class | smt1_convt |
struct | smt1_convt::identifiert |
SMT Version 1 Backend.
Definition in file smt1_conv.h.