smt2 → floatbv Relation

File in src/solvers/smt2	Includes file in src/solvers/floatbv
smt2_conv.cpp	float_bv.h