flattening → floatbv Relation

File in src/solvers/flattening	Includes file in src/solvers/floatbv
boolbv.cpp	float_utils.h
boolbv_abs.cpp	float_utils.h
boolbv_add_sub.cpp	float_utils.h
boolbv_bv_rel.cpp	float_utils.h
boolbv_floatbv_mod_rem.cpp	float_utils.h
boolbv_floatbv_op.cpp	float_utils.h
boolbv_ieee_float_rel.cpp	float_utils.h
boolbv_typecast.cpp	float_utils.h
boolbv_unary_minus.cpp	float_utils.h