smt2 → flattening Relation

File in src/solvers/smt2	Includes file in src/solvers/flattening
smt2_conv.cpp	boolbv_width.h
smt2_conv.cpp	c_bit_field_replacement_type.h
smt2_conv.h	boolbv_width.h
smt2_conv.h	pointer_logic.h
smt2_solver.cpp	boolbv.h