Merge pull request #7886 from tautschnig/bugfixes/cvc5-fpa

CVC5 support floating-point theory

Author: kroening

src/solvers/smt2/smt2_conv.cpp

@@ -116,6 +116,7 @@ smt2_convt::smt2_convt(
 
   case solvert::CVC5:
     logic = "ALL";
+    use_FPA_theory = true;
     use_array_of_bool = true;
     use_as_const = true;
     use_check_sat_assuming = true;